2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
2.87/2.07 Instance
2.87/2.07 name=instance-4390496-1568383139, framework=CSP
2.87/2.07
2.87/2.07 Loading variables...
2.87/2.10 Loading constraints...
3.49/2.20
3.49/2.20 Domains
3.49/2.20 nTypes=1, nValues=32000, sizes=[400#80]
3.49/2.20 Variables
3.49/2.20 count=80, degrees=[2#20,4#19,5#18,6#11,7#8,8#2,9#2]
3.49/2.20 Constraints
3.49/2.20 count=172, nSpecific=1, arities=[1#60,2#111,80#1]
3.49/2.20 distribution=[AllDifferent#1,CtrExtensionV-Bits#111,CtrExtensionV-Table#60]
3.49/2.20 tables=[1#19,5#18,16#11,34#8,66#2,117#2], nTotalTuples=923
3.49/2.20 nExtStructures=(61,shared:110), nCftStructures=(1,shared:110,unbuilt:61)
3.49/2.20 wck=0.351, cpu=2.161, mem=31M799
3.49/2.20 Solver SolverBacktrack being built...
3.49/2.20
3.49/2.23
3.49/2.23 Solver
3.49/2.23 guaranteedGAC=true
3.49/2.23 wck=0.384, cpu=2.192, mem=42M570
3.76/2.35
3.76/2.35 Preprocessing
3.76/2.35 filters=60, revisions=(262,useless=202), ccks=24000, nACremovedValues=923, nTotalRemovedValues=923, inconcistency=false
3.76/2.35 wck=0.117, cpu=2.31, mem=42M570
3.76/2.35
4.03/2.46 num=0, depth=2..4, filters=1233, revisions=(3583,useless=2337), ccks=93850, wck=0.231, mem=42M570
4.03/2.46 decisions=26, wrong=12, backtracks=2, failedAssignments=10, nogoods=5
4.03/2.46
4.28/2.52 num=1, depth=0..4, filters=1880, revisions=(5489,useless=3582), ccks=138892, wck=0.293, mem=42M570
4.28/2.52 decisions=51, wrong=23, backtracks=2, failedAssignments=21, nogoods=10
4.28/2.52
4.28/2.55 num=2, depth=1..2, filters=2238, revisions=(6570,useless=4314), ccks=170214, wck=0.324, mem=42M570
4.28/2.55 decisions=77, wrong=35, backtracks=2, failedAssignments=33, nogoods=22
4.28/2.55
4.45/2.61 num=3, depth=0..3, filters=2854, revisions=(8180,useless=5297), ccks=203050, wck=0.384, mem=42M570
4.45/2.61 decisions=107, wrong=49, backtracks=3, failedAssignments=46, nogoods=24
4.45/2.61
4.45/2.64 num=4, depth=1..1, filters=3079, revisions=(9034,useless=5939), ccks=234357, wck=0.408, mem=42M570
4.45/2.64 decisions=136, wrong=63, backtracks=3, failedAssignments=60, nogoods=38
4.45/2.64
4.58/2.76 num=5, depth=1..3, filters=4790, revisions=(13716,useless=8874), ccks=306142, wck=0.534, mem=42M570
4.58/2.76 decisions=181, wrong=85, backtracks=10, failedAssignments=76, nogoods=46
4.58/2.76
4.78/2.86 num=6, depth=1..3, filters=5739, revisions=(16539,useless=10737), ccks=378334, wck=0.632, mem=42M570
4.78/2.86 decisions=220, wrong=104, backtracks=13, failedAssignments=93, nogoods=60
4.78/2.86
4.89/2.96 num=7, depth=0..4, filters=6827, revisions=(19699,useless=12805), ccks=459405, wck=0.729, mem=42M570
4.89/2.96 decisions=266, wrong=126, backtracks=16, failedAssignments=112, nogoods=64
4.89/2.96
5.00/3.08 num=8, depth=1..3, filters=8380, revisions=(24571,useless=16110), ccks=580248, wck=0.853, mem=42M570
5.00/3.08 decisions=318, wrong=151, backtracks=20, failedAssignments=133, nogoods=77
5.00/3.08
5.10/3.19 num=9, depth=0..4, filters=9855, revisions=(28771,useless=18866), ccks=658397, wck=0.963, mem=42M570
5.10/3.19 decisions=373, wrong=178, backtracks=24, failedAssignments=156, nogoods=82
5.10/3.19
5.19/3.27 num=10, depth=1..2, filters=10574, revisions=(30760,useless=20149), ccks=700343, wck=1.041, mem=42M570
5.19/3.27 decisions=426, wrong=204, backtracks=25, failedAssignments=181, nogoods=107
5.19/3.27
5.30/3.38 num=11, depth=0..2, filters=11433, revisions=(33102,useless=21637), ccks=746717, wck=1.15, mem=42M570
5.30/3.38 decisions=487, wrong=234, backtracks=27, failedAssignments=209, nogoods=117
5.30/3.38
5.40/3.49 num=12, depth=0..2, filters=12577, revisions=(36660,useless=24068), ccks=846327, wck=1.26, mem=42M570
5.40/3.49 decisions=554, wrong=267, backtracks=29, failedAssignments=240, nogoods=139
5.40/3.49
5.50/3.59 num=13, depth=0..2, filters=13407, revisions=(39231,useless=25837), ccks=939552, wck=1.357, mem=42M570
5.50/3.59 decisions=625, wrong=302, backtracks=31, failedAssignments=274, nogoods=159
5.50/3.59
5.71/3.71 num=14, depth=0..3, filters=14730, revisions=(43136,useless=28432), ccks=1043268, wck=1.483, mem=42M570
5.71/3.71 decisions=707, wrong=342, backtracks=34, failedAssignments=311, nogoods=181
5.71/3.71
6.00/3.92 num=15, depth=1..2, filters=17113, revisions=(49944,useless=32904), ccks=1204039, wck=1.69, mem=42M570
6.00/3.92 decisions=793, wrong=384, backtracks=35, failedAssignments=352, nogoods=205
6.00/3.92
6.11/4.04 num=16, depth=0..2, filters=18360, revisions=(53693,useless=35426), ccks=1291736, wck=1.808, mem=42M570
6.11/4.04 decisions=888, wrong=431, backtracks=37, failedAssignments=397, nogoods=242
6.11/4.04
6.34/4.20 num=17, depth=0..4, filters=20164, revisions=(58512,useless=38492), ccks=1392782, wck=1.968, mem=42M570
6.34/4.20 decisions=997, wrong=485, backtracks=41, failedAssignments=447, nogoods=278
6.34/4.20
6.54/4.49 num=18, depth=1..3, filters=23734, revisions=(68690,useless=45131), ccks=1627923, wck=2.266, mem=42M570
6.54/4.49 decisions=1116, wrong=544, backtracks=45, failedAssignments=502, nogoods=290
6.54/4.49
6.85/4.72 num=19, depth=0..4, filters=26274, revisions=(76065,useless=49995), ccks=1786849, wck=2.495, mem=42M570
6.85/4.72 decisions=1251, wrong=611, backtracks=53, failedAssignments=563, nogoods=309
6.85/4.72
7.05/4.98 num=20, depth=0..3, filters=29072, revisions=(84217,useless=55383), ccks=1978738, wck=2.751, mem=42M570
7.05/4.98 decisions=1400, wrong=685, backtracks=60, failedAssignments=630, nogoods=345
7.05/4.98
7.27/5.16 num=21, depth=0..2, filters=30696, revisions=(89369,useless=58970), ccks=2124461, wck=2.927, mem=42M570
7.27/5.16 decisions=1553, wrong=761, backtracks=63, failedAssignments=704, nogoods=402
7.27/5.16
7.57/5.48 num=22, depth=0..2, filters=33962, revisions=(99723,useless=66077), ccks=2358746, wck=3.256, mem=45M212
7.57/5.48 decisions=1728, wrong=848, backtracks=69, failedAssignments=785, nogoods=421
7.57/5.48
7.87/5.75 num=23, depth=0..3, filters=36284, revisions=(107795,useless=71892), ccks=2596142, wck=3.518, mem=45M212
7.87/5.75 decisions=1915, wrong=941, backtracks=74, failedAssignments=874, nogoods=429
7.87/5.75
8.37/6.22 num=24, depth=0..2, filters=41284, revisions=(122875,useless=81998), ccks=2981727, wck=3.993, mem=45M212
8.37/6.22 decisions=2133, wrong=1050, backtracks=85, failedAssignments=972, nogoods=429
8.37/6.22
8.71/6.57 num=25, depth=0..2, filters=44913, revisions=(134825,useless=90385), ccks=3289799, wck=4.341, mem=45M212
8.71/6.57 decisions=2358, wrong=1162, backtracks=89, failedAssignments=1080, nogoods=456
8.71/6.57
9.11/6.94 num=26, depth=0..3, filters=47941, revisions=(143599,useless=96220), ccks=3510061, wck=4.707, mem=45M212
9.11/6.94 decisions=2607, wrong=1286, backtracks=96, failedAssignments=1199, nogoods=547
9.11/6.94
9.41/7.26 num=27, depth=0..79, filters=51630, revisions=(154692,useless=103633), ccks=3784140, wck=5.026, mem=45M212
9.41/7.26 decisions=2760, wrong=1347, backtracks=106, failedAssignments=1251, nogoods=547, foundSolutions=1
9.41/7.26
9.41/7.26 Global
9.41/7.26 filters=51630, revisions=(154692,useless=103633), ccks=3784140, nogoods=547
9.41/7.26 Stop=REACHED_GOAL, wrong=1347, foundSolutions=1, firstSolCpu=7.21
9.41/7.26 wck=5.41, cpu=7.217, mem=45M212
9.41/7.26
9.41/7.26 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 367 15 181 310 197 87 27 94 24 88 379 316 7 315 307 282 57 275 53 311 55 92 20 99 228 297 43 54 23 67 110 52 32 40 337 280 131 83 319 4 225 289 259 49 338 339 77 145 173 30 355 326 210 111 3 89 143 180 13 26 28 396 371 160 29 201 95 290 146 8 71 186 231 182 127 126 18 273 144 308 </values> </instantiation>
9.41/7.26 s SATISFIABLE
9.41/7.26
9.41/7.26 d WRONG_DECISIONS 1347
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 (12741 MiB free)
memory of node 1: 16384 MiB (13018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390496-1568383139/watcher-4390496-1568383139 -o /tmp/evaluation-result-4390496-1568383139/solver-4390496-1568383139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17198 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390496-1568383139.xml -cm
running on 4 cores: 0,2,4,6
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=18276, runsolver pid=18273
[startup+0.100068 s]*
/proc/loadavg: 1.79 1.73 1.66 4/228 18291
/proc/meminfo: memFree=26363156/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10659884 memory=28480 CPUtime=0.13 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 5676 0 0 0 12 1 0 0 20 0 15 0 414561275 10915721216 7120 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2664971 7120 2894 1 0 2627468 0
[pid=18276/tid=18278] ppid=18273 vsize=10659884 memory=-8197568871503662463 CPUtime=0.09 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) R 18273 18276 17167 0 -1 4202560 3203 0 0 0 9 0 0 0 20 0 15 0 414561276 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383988722952 140383984514205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383218550128 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0.02 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) R 18273 18276 17167 0 -1 4202560 518 0 0 0 2 0 0 0 20 0 15 0 414561281 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383214336952 140383963460562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 7120 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28480 KiB
[startup+0.210787 s]*
/proc/loadavg: 1.79 1.73 1.66 3/228 18291
/proc/meminfo: memFree=26356724/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10659884 memory=34832 CPUtime=0.32 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 6818 0 0 0 31 1 0 0 20 0 15 0 414561275 10915721216 8708 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2664971 8708 2990 1 0 2627468 0
[pid=18276/tid=18278] ppid=18273 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) R 18273 18276 17167 0 -1 4202560 3830 0 0 0 20 0 0 0 20 0 15 0 414561276 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383988730672 140383984514205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10659884 memory=3475004829655991968 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383218550128 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 561 0 0 0 3 0 0 0 20 0 15 0 414561281 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 15 0 414561281 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0.05 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) S 18273 18276 17167 0 -1 1077944384 672 0 0 0 5 0 0 0 20 0 15 0 414561281 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383214340208 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 8708 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34832 KiB
[startup+0.310259 s]*
/proc/loadavg: 1.79 1.73 1.66 4/228 18291
/proc/meminfo: memFree=26348520/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10659884 memory=40012 CPUtime=0.47 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 9394 0 0 0 44 3 0 0 20 0 15 0 414561275 10915721216 10003 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2664971 10003 3002 1 0 2627468 0
[pid=18276/tid=18278] ppid=18273 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) R 18273 18276 17167 0 -1 4202560 6313 0 0 0 29 1 0 0 20 0 15 0 414561276 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383988724336 140383984514205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10659884 memory=4051463382936159904 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561278 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383218550128 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 575 0 0 0 4 0 0 0 20 0 15 0 414561281 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 453 0 0 0 4 0 0 0 20 0 15 0 414561281 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0.07 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) R 18273 18276 17167 0 -1 4202560 695 0 0 0 7 0 0 0 20 0 15 0 414561281 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383214340208 140383984513626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10659884 memory=139930024380032 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561281 10915721216 10003 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40012 KiB
[startup+0.700775 s]
/proc/loadavg: 1.79 1.73 1.66 3/228 18291
/proc/meminfo: memFree=26340728/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10661932 memory=62440 CPUtime=1.08 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 12744 0 0 0 103 5 0 0 20 0 15 0 414561275 10917818368 15610 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2665483 15610 3075 1 0 2627980 0
[pid=18276/tid=18278] ppid=18273 vsize=10661932 memory=1436 CPUtime=0.68 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) R 18273 18276 17167 0 -1 4202560 8852 0 0 0 65 3 0 0 20 0 15 0 414561276 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383988724304 140383984514205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10661932 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10661932 memory=692 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10661932 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561278 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561278 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561278 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383218550128 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10661932 memory=7739276948478061671 CPUtime=0.1 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 852 0 0 0 10 0 0 0 20 0 15 0 414561281 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10661932 memory=7019257425709197167 CPUtime=0.09 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) R 18273 18276 17167 0 -1 4202560 622 0 0 0 9 0 0 0 20 0 15 0 414561281 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383215393008 140383965192576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) S 18273 18276 17167 0 -1 1077944384 1058 0 0 0 18 0 0 0 20 0 15 0 414561281 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383214340208 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561281 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561281 10917818368 15610 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62440 KiB
[startup+1.50082 s]
/proc/loadavg: 1.79 1.73 1.66 3/228 18291
/proc/meminfo: memFree=26323908/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10663980 memory=75140 CPUtime=1.98 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 16496 0 0 0 193 5 0 0 20 0 15 0 414561275 10919915520 18785 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2665995 18785 3091 1 0 2628492 0
[pid=18276/tid=18278] ppid=18273 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) R 18273 18276 17167 0 -1 4202560 11451 0 0 0 144 3 0 0 20 0 15 0 414561276 10919915520 18785 33554432000 4194304 4196468 140726221796992 140383988724304 140383968572766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10919915520 18785 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10919915520 18785 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561276 10919915520 18785 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561276 10919915520 18785 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414561278 10919915520 18785 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
################
# More data... #
################
[pid=18276/tid=18279] ppid=18273 vsize=10746276 memory=668169 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10746276 memory=157640 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10746276 memory=6944656425122961013 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10746276 memory=53 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 16 0 414561278 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10746276 memory=297 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383218550144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10746276 memory=1 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10746276 memory=1 CPUtime=0.82 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) R 18273 18276 17167 0 -1 4202560 2440 0 0 0 82 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383216445808 140383976781661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10746276 memory=4776 CPUtime=0.78 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 1998 0 0 0 78 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10746276 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) S 18273 18276 17167 0 -1 1077944384 2447 0 0 0 53 1 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383214340208 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10746276 memory=218407676972756 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10746276 memory=218407676972757 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18292] ppid=18273 vsize=10746276 memory=0 CPUtime=4.37 cores=0,2,4,6
/proc/18276/task/18292/stat : 18292 (java) R 18273 18276 17167 0 -1 4202560 3593 0 0 0 436 1 0 0 20 0 16 0 414561463 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383195570768 140383578432758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 158156 KiB
[startup+7.27735 s]
# the end of solver process 18276 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.36282 s, system=0.138431 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40095 s]
/proc/loadavg: 1.80 1.74 1.66 3/229 18292
/proc/meminfo: memFree=26232608/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10746276 memory=158156 CPUtime=8.61 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 25631 0 0 0 848 13 0 0 20 0 16 0 414561275 11004186624 39539 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2686569 39539 3360 1 0 2646705 0
[pid=18276/tid=18278] ppid=18273 vsize=10746276 memory=-7595718316223324558 CPUtime=1.85 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) S 18273 18276 17167 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383988735152 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10746276 memory=8028676333680759155 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10746276 memory=6944613755479294112 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10746276 memory=-7606742951091920751 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10746276 memory=56 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414561276 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 16 0 414561278 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383218550144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10746276 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 2462 0 0 0 82 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10746276 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 1998 0 0 0 78 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10746276 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) S 18273 18276 17167 0 -1 1077944384 2447 0 0 0 53 1 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383214340208 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10746276 memory=6370719275257063784 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18292] ppid=18273 vsize=10746276 memory=39532 CPUtime=4.47 cores=0,2,4,6
/proc/18276/task/18292/stat : 18292 (java) R 18273 18276 17167 0 -1 4202560 3694 0 0 0 446 1 0 0 20 0 16 0 414561463 11004186624 39539 33554432000 4194304 4196468 140726221796992 140383195570768 140383578432754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 158156 KiB
[startup+6.8007 s]
/proc/loadavg: 1.80 1.74 1.66 3/229 18292
/proc/meminfo: memFree=26232608/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10746276 memory=158216 CPUtime=9.01 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 25921 0 0 0 888 13 0 0 20 0 16 0 414561275 11004186624 39554 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2686569 39554 3360 1 0 2646705 0
[pid=18276/tid=18278] ppid=18273 vsize=10746276 memory=0 CPUtime=1.85 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) S 18273 18276 17167 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414561276 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383988735152 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414561276 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 16 0 414561278 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10746276 memory=7739272546538902119 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10746276 memory=56 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383218550144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10746276 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 2464 0 0 0 82 0 0 0 20 0 16 0 414561281 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10746276 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 2000 0 0 0 78 0 0 0 20 0 16 0 414561281 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10746276 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) S 18273 18276 17167 0 -1 1077944384 2529 0 0 0 53 1 0 0 20 0 16 0 414561281 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383214340208 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10746276 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18292] ppid=18273 vsize=10746276 memory=0 CPUtime=4.87 cores=0,2,4,6
/proc/18276/task/18292/stat : 18292 (java) R 18273 18276 17167 0 -1 4202560 3898 0 0 0 486 1 0 0 20 0 16 0 414561463 11004186624 39554 33554432000 4194304 4196468 140726221796992 140383195570768 140383578691141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 158216 KiB
[startup+7.20071 s]
/proc/loadavg: 1.82 1.74 1.66 3/229 18292
/proc/meminfo: memFree=26232608/32770624 swapFree=66927232/67108860
[pid=18276] ppid=18273 vsize=10746276 memory=158224 CPUtime=9.41 cores=0,2,4,6
/proc/18276/stat : 18276 (java) S 18273 18276 17167 0 -1 1077944320 25951 0 0 0 928 13 0 0 20 0 16 0 414561275 11004186624 39556 33554432000 4194304 4196468 140726221796992 140726221779536 140383984492279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
/proc/18276/statm: 2686569 39556 3360 1 0 2646705 0
[pid=18276/tid=18278] ppid=18273 vsize=10746276 memory=1436 CPUtime=1.85 cores=0,2,4,6
/proc/18276/task/18278/stat : 18278 (java) S 18273 18276 17167 0 -1 1077944384 13139 0 0 0 180 5 0 0 20 0 16 0 414561276 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383988735152 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18279] ppid=18273 vsize=10746276 memory=9592 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18279/stat : 18279 (java) S 18273 18276 17167 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383910566544 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18280] ppid=18273 vsize=10746276 memory=776 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18280/stat : 18280 (java) S 18273 18276 17167 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383909513744 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18281] ppid=18273 vsize=10746276 memory=1540 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18281/stat : 18281 (java) S 18273 18276 17167 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414561276 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383908460944 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18282] ppid=18273 vsize=10746276 memory=692 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18282/stat : 18282 (java) S 18273 18276 17167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414561276 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383907408144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18283] ppid=18273 vsize=10746276 memory=4164 CPUtime=0.01 cores=0,2,4,6
/proc/18276/task/18283/stat : 18283 (java) S 18273 18276 17167 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 16 0 414561278 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383220657008 140383984503426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18284] ppid=18273 vsize=10746276 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18284/stat : 18284 (java) S 18273 18276 17167 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383219602976 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18285] ppid=18273 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18285/stat : 18285 (java) S 18273 18276 17167 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414561278 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383218550144 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18286] ppid=18273 vsize=10746276 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18286/stat : 18286 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383217498448 140383984510875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18287] ppid=18273 vsize=10746276 memory=15538522534712410 CPUtime=0.82 cores=0,2,4,6
/proc/18276/task/18287/stat : 18287 (java) S 18273 18276 17167 0 -1 1077944384 2464 0 0 0 82 0 0 0 20 0 16 0 414561281 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383216445808 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18288] ppid=18273 vsize=10746276 memory=6791534058613427641 CPUtime=0.78 cores=0,2,4,6
/proc/18276/task/18288/stat : 18288 (java) S 18273 18276 17167 0 -1 1077944384 2000 0 0 0 78 0 0 0 20 0 16 0 414561281 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383215393008 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18289] ppid=18273 vsize=10746276 memory=4872558044660077418 CPUtime=0.54 cores=0,2,4,6
/proc/18276/task/18289/stat : 18289 (java) S 18273 18276 17167 0 -1 1077944384 2533 0 0 0 53 1 0 0 20 0 16 0 414561281 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383214340208 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18290] ppid=18273 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18290/stat : 18290 (java) S 18273 18276 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383213287648 140383984502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18291] ppid=18273 vsize=10746276 memory=1993 CPUtime=0 cores=0,2,4,6
/proc/18276/task/18291/stat : 18291 (java) S 18273 18276 17167 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 16 0 414561281 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383212235952 140383984503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
[pid=18276/tid=18292] ppid=18273 vsize=10746276 memory=598 CPUtime=5.27 cores=0,2,4,6
/proc/18276/task/18292/stat : 18292 (java) R 18273 18276 17167 0 -1 4202560 3904 0 0 0 526 1 0 0 20 0 16 0 414561463 11004186624 39556 33554432000 4194304 4196468 140726221796992 140383195570736 140383578691163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140726221804555 140726221804658 140726221804658 140726221807567 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 158224 KiB
Child status: 0
Real time (s): 7.27741
CPU time (s): 9.50125
CPU user time (s): 9.36282
CPU system time (s): 0.138431
CPU usage (%): 130.558
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 158224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.36282
system time used= 0.138431
maximum resident set size= 158752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2703
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 18276
# total CPU time (s): 9.50125
# total CPU user time (s): 9.36282
# total CPU system time (s): 0.138431
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071252 second user time and 0.110775 second system time
The end