2.41/1.86
2.41/1.86 AbsCon 2
2.41/1.88
2.91/2.01 Instance
2.91/2.01 name=instance-4390565-1568383209, framework=CSP
2.91/2.01
2.91/2.01 Loading variables...
2.91/2.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f55bcd9
2.91/2.04 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a1c3b08
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17addba3
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebd5d2b
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f32b0d
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30641ff3
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d534b
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a63bb8
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a03cf59
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2312c91
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ee2db8
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e2afa8
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af4cbf6
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1681bfeb
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46cac67e
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7ac372
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe1b765
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@381d8241
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cf817d
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7d3493
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aab533
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501f733b
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f04eed6
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b260d5
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5582f051
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17831936
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e095677
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1703849b
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464de8fc
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac744a
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92539a
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68650f1c
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c9912f
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a098d5
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e9a7c9
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc9a757
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648c67be
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3a32f9
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28bfad76
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e770f05
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1869c8cd
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc6f809
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579a8e8b
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8073385
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@121eb4fd
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4473539b
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea7de6b
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b19b499
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b338286
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee2c290
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38cc07e9
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a81326
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ddb40e
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e80e696
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb0395d
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6377ed8a
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30dcffba
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163bde00
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e2e7f8
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383f21d4
2.91/2.08
2.91/2.08
2.91/2.08 Domains
2.91/2.08 nTypes=1, nValues=2772, sizes=[28#99]
2.91/2.08 Variables
2.91/2.08 count=99, degrees=[1#14,2#13,3#22,4#24,5#17,6#6,7#2,8#1]
2.91/2.08 Constraints
2.91/2.08 count=60, nSpecific=60, arities=[3#5,4#10,5#15,6#8,7#9,8#13]
2.91/2.08 distribution=[SumWeightedEQ#60]
2.91/2.08 wck=0.244, cpu=2.051, mem=18M585
2.91/2.08 Solver SolverBacktrack being built...
2.91/2.08
3.15/2.11
3.15/2.11 Solver
3.15/2.11 guaranteedGAC=false
3.15/2.11 wck=0.274, cpu=2.08, mem=31M870
3.15/2.12
3.15/2.12 Preprocessing
3.15/2.12 filters=52, nACremovedValues=424, nTotalRemovedValues=424, inconcistency=false
3.15/2.12 wck=0.005, cpu=2.086, mem=31M870
3.15/2.12
3.15/2.12 num=0, depth=4..11, filters=458, wck=0.014, mem=31M870
3.15/2.12 decisions=33, wrong=12, backtracks=2, failedAssignments=10, nogoods=8
3.15/2.12
3.15/2.13 num=1, depth=0..1, filters=547, wck=0.016, mem=31M870
3.15/2.13 decisions=56, wrong=23, backtracks=2, failedAssignments=21, nogoods=14
3.15/2.13
3.15/2.13 num=2, depth=0..6, filters=707, wck=0.018, mem=31M870
3.15/2.13 decisions=88, wrong=37, backtracks=4, failedAssignments=33, nogoods=19
3.15/2.13
3.15/2.13 num=3, depth=0..6, filters=1162, wck=0.022, mem=31M870
3.15/2.13 decisions=124, wrong=54, backtracks=8, failedAssignments=46, nogoods=22
3.15/2.13
3.15/2.13 num=4, depth=8..9, filters=1630, wck=0.025, mem=31M870
3.15/2.13 decisions=163, wrong=69, backtracks=9, failedAssignments=60, nogoods=33
3.15/2.13
3.15/2.14 num=5, depth=0..4, filters=2438, wck=0.03, mem=31M870
3.15/2.14 decisions=203, wrong=88, backtracks=14, failedAssignments=76, nogoods=38
3.15/2.14
3.15/2.15 num=6, depth=1..3, filters=3006, wck=0.045, mem=31M870
3.15/2.15 decisions=245, wrong=108, backtracks=17, failedAssignments=93, nogoods=41
3.15/2.15
3.15/2.16 num=7, depth=0..5, filters=3945, wck=0.049, mem=31M870
3.15/2.16 decisions=295, wrong=132, backtracks=23, failedAssignments=112, nogoods=49
3.15/2.16
3.15/2.16 num=8, depth=3..5, filters=4720, wck=0.053, mem=31M870
3.15/2.16 decisions=349, wrong=157, backtracks=27, failedAssignments=133, nogoods=58
3.15/2.16
3.15/2.17 num=9, depth=2..9, filters=5557, wck=0.057, mem=31M870
3.15/2.17 decisions=413, wrong=186, backtracks=34, failedAssignments=156, nogoods=70
3.15/2.17
3.15/2.17 num=10, depth=4..9, filters=6032, wck=0.06, mem=31M870
3.15/2.17 decisions=473, wrong=214, backtracks=37, failedAssignments=181, nogoods=75
3.15/2.17
3.15/2.17 num=11, depth=2..7, filters=7119, wck=0.064, mem=31M870
3.15/2.17 decisions=561, wrong=256, backtracks=53, failedAssignments=209, nogoods=83
3.15/2.17
3.15/2.18 num=12, depth=4..9, filters=7842, wck=0.069, mem=31M870
3.15/2.18 decisions=637, wrong=291, backtracks=58, failedAssignments=240, nogoods=91
3.15/2.18
3.15/2.19 num=13, depth=2..5, filters=9047, wck=0.073, mem=31M870
3.15/2.19 decisions=724, wrong=333, backtracks=66, failedAssignments=274, nogoods=95
3.15/2.19
3.15/2.19 num=14, depth=4..8, filters=10616, wck=0.078, mem=31M870
3.15/2.19 decisions=818, wrong=377, backtracks=73, failedAssignments=311, nogoods=127
3.15/2.19
3.15/2.19 num=15, depth=4..6, filters=11558, wck=0.082, mem=31M870
3.15/2.19 decisions=918, wrong=425, backtracks=81, failedAssignments=352, nogoods=146
3.15/2.19
3.45/2.20 num=16, depth=5..7, filters=13926, wck=0.088, mem=31M870
3.45/2.20 decisions=1027, wrong=476, backtracks=87, failedAssignments=397, nogoods=156
3.45/2.20
3.45/2.20 num=17, depth=1..4, filters=15425, wck=0.091, mem=31M870
3.45/2.20 decisions=1148, wrong=535, backtracks=96, failedAssignments=447, nogoods=167
3.45/2.20
3.45/2.20 num=18, depth=0..6, filters=16787, wck=0.093, mem=31M870
3.45/2.20 decisions=1290, wrong=604, backtracks=112, failedAssignments=502, nogoods=173
3.45/2.20
3.45/2.21 num=19, depth=1..6, filters=18766, wck=0.096, mem=31M870
3.45/2.21 decisions=1460, wrong=687, backtracks=135, failedAssignments=563, nogoods=184
3.45/2.21
3.45/2.21 num=20, depth=1..7, filters=20162, wck=0.099, mem=31M870
3.45/2.21 decisions=1617, wrong=763, backtracks=144, failedAssignments=630, nogoods=208
3.45/2.21
3.45/2.21 num=21, depth=0..5, filters=22807, wck=0.103, mem=31M870
3.45/2.21 decisions=1792, wrong=849, backtracks=157, failedAssignments=704, nogoods=223
3.45/2.21
3.45/2.22 num=22, depth=0..4, filters=24970, wck=0.107, mem=31M870
3.45/2.22 decisions=1993, wrong=948, backtracks=176, failedAssignments=785, nogoods=237
3.45/2.22
3.45/2.22 num=23, depth=0..6, filters=27499, wck=0.111, mem=31M870
3.45/2.22 decisions=2223, wrong=1061, backtracks=201, failedAssignments=874, nogoods=251
3.45/2.22
3.45/2.23 num=24, depth=1..6, filters=29382, wck=0.114, mem=31M870
3.45/2.23 decisions=2467, wrong=1182, backtracks=225, failedAssignments=972, nogoods=266
3.45/2.23
3.45/2.23 num=25, depth=3..11, filters=34182, wck=0.121, mem=31M870
3.45/2.23 decisions=2745, wrong=1318, backtracks=256, failedAssignments=1080, nogoods=288
3.45/2.23
3.45/2.24 num=26, depth=3..8, filters=37784, wck=0.127, mem=31M870
3.45/2.24 decisions=3031, wrong=1458, backtracks=278, failedAssignments=1199, nogoods=307
3.45/2.24
3.45/2.24 num=27, depth=4..8, filters=41829, wck=0.133, mem=31M870
3.45/2.24 decisions=3367, wrong=1623, backtracks=317, failedAssignments=1330, nogoods=347
3.45/2.24
3.45/2.25 num=28, depth=0..6, filters=46657, wck=0.14, mem=31M870
3.45/2.25 decisions=3720, wrong=1798, backtracks=349, failedAssignments=1474, nogoods=368
3.45/2.25
3.45/2.26 num=29, depth=2..6, filters=52505, wck=0.149, mem=31M870
3.45/2.26 decisions=4139, wrong=2005, backtracks=400, failedAssignments=1632, nogoods=389
3.45/2.26
3.45/2.27 num=30, depth=2..9, filters=59371, wck=0.159, mem=31M870
3.45/2.27 decisions=4587, wrong=2227, backtracks=450, failedAssignments=1806, nogoods=405
3.45/2.27
3.45/2.28 num=31, depth=3..11, filters=63615, wck=0.166, mem=31M870
3.45/2.28 decisions=5020, wrong=2441, backtracks=479, failedAssignments=1997, nogoods=423
3.45/2.28
3.45/2.28 num=32, depth=1..7, filters=67075, wck=0.172, mem=31M870
3.45/2.28 decisions=5489, wrong=2673, backtracks=500, failedAssignments=2208, nogoods=445
3.45/2.28
3.45/2.29 num=33, depth=0..7, filters=74757, wck=0.184, mem=31M870
3.45/2.29 decisions=6090, wrong=2971, backtracks=572, failedAssignments=2440, nogoods=466
3.45/2.29
3.74/2.30 num=34, depth=4..9, filters=80741, wck=0.194, mem=31M870
3.74/2.30 decisions=6705, wrong=3276, backtracks=624, failedAssignments=2695, nogoods=496
3.74/2.30
3.74/2.31 num=35, depth=1..7, filters=88046, wck=0.204, mem=31M870
3.74/2.31 decisions=7385, wrong=3614, backtracks=683, failedAssignments=2976, nogoods=516
3.74/2.31
3.74/2.33 num=36, depth=1..6, filters=98302, wck=0.218, mem=31M870
3.74/2.33 decisions=8171, wrong=4005, backtracks=769, failedAssignments=3285, nogoods=539
3.74/2.33
3.74/2.34 num=37, depth=0..7, filters=110643, wck=0.235, mem=31M870
3.74/2.34 decisions=9025, wrong=4430, backtracks=860, failedAssignments=3625, nogoods=547
3.74/2.34
3.74/2.36 num=38, depth=0..5, filters=124059, wck=0.253, mem=31M870
3.74/2.36 decisions=9978, wrong=4905, backtracks=964, failedAssignments=3999, nogoods=556
3.74/2.36
3.74/2.38 num=39, depth=0..5, filters=133896, wck=0.266, mem=31M870
3.74/2.38 decisions=11040, wrong=5434, backtracks=1092, failedAssignments=4410, nogoods=565
3.74/2.38
3.74/2.39 num=40, depth=1..10, filters=147559, wck=0.285, mem=31M870
3.74/2.39 decisions=12225, wrong=6025, backtracks=1241, failedAssignments=4862, nogoods=610
3.74/2.39
3.97/2.41 num=41, depth=0..5, filters=160015, wck=0.302, mem=31M870
3.97/2.41 decisions=13402, wrong=6612, backtracks=1334, failedAssignments=5359, nogoods=628
3.97/2.41
3.97/2.43 num=42, depth=2..98, filters=167856, ccks=120, wck=0.319, mem=31M870
3.97/2.43 decisions=14405, wrong=7110, backtracks=1406, failedAssignments=5789, nogoods=628, foundSolutions=1
3.97/2.43
3.97/2.43 Global
3.97/2.43 filters=167856, ccks=120, nogoods=628
3.97/2.43 Stop=REACHED_GOAL, wrong=7110, foundSolutions=1, firstSolCpu=2.394
3.97/2.43 wck=0.594, cpu=2.399, mem=31M870
3.97/2.43
3.97/2.43 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 * 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29 </values> </instantiation>
3.97/2.43 s SATISFIABLE
3.97/2.43
3.97/2.43 d WRONG_DECISIONS 7110
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 (15097 MiB free)
memory of node 1: 16384 MiB (15561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390565-1568383209/watcher-4390565-1568383209 -o /tmp/evaluation-result-4390565-1568383209/solver-4390565-1568383209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25455 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390565-1568383209.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=26292, runsolver pid=26289
[startup+0.102107 s]*
/proc/loadavg: 1.96 1.87 1.75 4/227 26307
/proc/meminfo: memFree=31377744/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10659884 memory=30560 CPUtime=0.15 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 5656 0 0 0 14 1 0 0 20 0 15 0 414579345 10915721216 7640 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2664971 7640 2916 1 0 2627468 0
[pid=26292/tid=26294] ppid=26289 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) R 26289 26292 25423 0 -1 4202560 2986 0 0 0 9 0 0 0 20 0 15 0 414579346 10915721216 7640 33554432000 4194304 4196468 140736851189344 140373857340320 140373831562982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 7640 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 7640 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373344073248 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373343020400 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) S 26289 26292 25423 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373340916080 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) R 26289 26292 25423 0 -1 4202560 286 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373339844296 140373845407581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0.03 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) R 26289 26292 25423 0 -1 4202560 679 0 0 0 3 0 0 0 20 0 15 0 414579351 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373338806648 140373832516715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 7706 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30560 KiB
[startup+0.210634 s]*
/proc/loadavg: 1.96 1.87 1.75 3/227 26307
/proc/meminfo: memFree=31371232/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10659884 memory=35364 CPUtime=0.32 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 6491 0 0 0 31 1 0 0 20 0 15 0 414579345 10915721216 8841 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2664971 8841 2989 1 0 2627468 0
[pid=26292/tid=26294] ppid=26289 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) R 26289 26292 25423 0 -1 4202560 3455 0 0 0 19 1 0 0 20 0 15 0 414579346 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373857344560 140373853140125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10659884 memory=139686318418422 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373344073248 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373343020400 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) S 26289 26292 25423 0 -1 1077944384 571 0 0 0 3 0 0 0 20 0 15 0 414579351 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373340916080 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) S 26289 26292 25423 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 15 0 414579351 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373339863280 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0.05 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) S 26289 26292 25423 0 -1 1077944384 711 0 0 0 5 0 0 0 20 0 15 0 414579351 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373338810480 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579351 10915721216 8841 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35364 KiB
[startup+0.319785 s]*
/proc/loadavg: 1.96 1.87 1.75 4/227 26307
/proc/meminfo: memFree=31364176/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10659884 memory=40680 CPUtime=0.49 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 9414 0 0 0 46 3 0 0 20 0 15 0 414579345 10915721216 10170 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2664971 10170 3003 1 0 2627468 0
[pid=26292/tid=26294] ppid=26289 vsize=10660908 memory=8390339637985935414 CPUtime=0.31 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) R 26289 26292 25423 0 -1 4202560 6345 0 0 0 29 2 0 0 20 0 15 0 414579346 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373857338816 140373845797917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10660908 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10660908 memory=139686318418153 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 10170 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579346 10915721216 10170 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 10170 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579348 10915721216 10170 33554432000 4194304 4196468 140736851189344 140373344073248 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579348 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373343020400 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10660908 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) S 26289 26292 25423 0 -1 1077944384 611 0 0 0 4 0 0 0 20 0 15 0 414579351 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373340916080 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) S 26289 26292 25423 0 -1 1077944384 403 0 0 0 3 0 0 0 20 0 15 0 414579351 10915721216 10170 33554432000 4194304 4196468 140736851189344 140373339863280 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10659884 memory=139686318392960 CPUtime=0.08 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) S 26289 26292 25423 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 414579351 10915721216 10170 33554432000 4194304 4196468 140736851189344 140373338810480 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10660908 memory=139686318392960 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579351 10916769792 10170 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40680 KiB
[startup+0.700825 s]
/proc/loadavg: 1.96 1.87 1.75 4/227 26307
/proc/meminfo: memFree=31356996/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10661932 memory=62604 CPUtime=1.09 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 12300 0 0 0 104 5 0 0 20 0 15 0 414579345 10917818368 15651 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2665483 15651 3072 1 0 2627980 0
[pid=26292/tid=26294] ppid=26289 vsize=10661932 memory=1412 CPUtime=0.68 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) R 26289 26292 25423 0 -1 4202560 8421 0 0 0 64 4 0 0 20 0 15 0 414579346 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373857350224 140373838811680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10661932 memory=7148 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10661932 memory=616 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579346 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579348 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10661932 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579348 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373344073248 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10661932 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579348 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373343020400 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10661932 memory=7811609364956278113 CPUtime=0.11 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) R 26289 26292 25423 0 -1 4202560 803 0 0 0 11 0 0 0 20 0 15 0 414579351 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373340902176 140373832375060 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10661932 memory=5787213840016500561 CPUtime=0.09 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) S 26289 26292 25423 0 -1 1077944384 612 0 0 0 9 0 0 0 20 0 15 0 414579351 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373339863280 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) S 26289 26292 25423 0 -1 1077944384 1105 0 0 0 18 0 0 0 20 0 15 0 414579351 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373338810480 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579351 10917818368 15651 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62604 KiB
[startup+1.50075 s]
/proc/loadavg: 1.88 1.85 1.74 3/227 26307
/proc/meminfo: memFree=31340804/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10663980 memory=75140 CPUtime=1.98 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 17563 0 0 0 192 6 0 0 20 0 15 0 414579345 10919915520 18785 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2665995 18785 3095 1 0 2628492 0
[pid=26292/tid=26294] ppid=26289 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) R 26289 26292 25423 0 -1 4202560 12405 0 0 0 143 5 0 0 20 0 15 0 414579346 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373857344080 140373833393945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579346 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 414579348 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579348 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373344073248 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579348 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373343020400 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10663980 memory=7161660631110672985 CPUtime=0.16 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) S 26289 26292 25423 0 -1 1077944384 1662 0 0 0 16 0 0 0 20 0 15 0 414579351 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373340916080 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10663980 memory=7525631875229050453 CPUtime=0.12 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) S 26289 26292 25423 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 15 0 414579351 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373339863280 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10663980 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) S 26289 26292 25423 0 -1 1077944384 1107 0 0 0 18 0 0 0 20 0 15 0 414579351 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373338810480 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 414579351 10919915520 18785 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75140 KiB
[startup+2.6896 s]
# the end of solver process 26292 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.96643 s, system=0.135345 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 1.88 1.85 1.74 3/227 26307
/proc/meminfo: memFree=31340804/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10666028 memory=78188 CPUtime=2.09 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 18010 0 0 0 203 6 0 0 20 0 15 0 414579345 10922012672 19547 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2666507 19547 3095 1 0 2629004 0
[pid=26292/tid=26294] ppid=26289 vsize=10666028 memory=0 CPUtime=1.58 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) R 26289 26292 25423 0 -1 4202560 12847 0 0 0 153 5 0 0 20 0 15 0 414579346 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373857344080 140373845355326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579346 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579346 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 414579348 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10666028 memory=7305495461038287462 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579348 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373344073248 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10666028 memory=5792852217180673389 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579348 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373343020400 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10666028 memory=252639505939738 CPUtime=0.16 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) S 26289 26292 25423 0 -1 1077944384 1662 0 0 0 16 0 0 0 20 0 15 0 414579351 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373340916080 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10666028 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) S 26289 26292 25423 0 -1 1077944384 946 0 0 0 13 0 0 0 20 0 15 0 414579351 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373339863280 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10666028 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) S 26289 26292 25423 0 -1 1077944384 1107 0 0 0 18 0 0 0 20 0 15 0 414579351 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373338810480 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10666028 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579351 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10666028 memory=279372321784048 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 414579351 10922012672 19547 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 78188 KiB
[startup+2.40073 s]
/proc/loadavg: 1.88 1.85 1.74 4/228 26308
/proc/meminfo: memFree=31262084/32770624 swapFree=66936320/67108860
[pid=26292] ppid=26289 vsize=10746276 memory=155228 CPUtime=3.97 cores=1,3,5,7
/proc/26292/stat : 26292 (java) S 26289 26292 25423 0 -1 1077944320 26442 0 0 0 385 12 0 0 20 0 16 0 414579345 11004186624 38807 33554432000 4194304 4196468 140736851189344 140736851171888 140373853118199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
/proc/26292/statm: 2686569 38807 3341 1 0 2646705 0
[pid=26292/tid=26294] ppid=26289 vsize=10746276 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/26292/task/26294/stat : 26294 (java) S 26289 26292 25423 0 -1 1077944384 14527 0 0 0 178 6 0 0 20 0 16 0 414579346 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373857361072 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26295] ppid=26289 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26295/stat : 26295 (java) S 26289 26292 25423 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414579346 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373779192464 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26296] ppid=26289 vsize=10746276 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26296/stat : 26296 (java) S 26289 26292 25423 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414579346 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373778139664 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26297] ppid=26289 vsize=10746276 memory=161 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26297/stat : 26297 (java) S 26289 26292 25423 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 16 0 414579346 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373777086864 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26298] ppid=26289 vsize=10746276 memory=118 CPUtime=0.01 cores=1,3,5,7
/proc/26292/task/26298/stat : 26298 (java) S 26289 26292 25423 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 16 0 414579346 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373776034064 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26299] ppid=26289 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26292/task/26299/stat : 26299 (java) S 26289 26292 25423 0 -1 1077944384 1032 0 0 0 1 0 0 0 20 0 16 0 414579348 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373345127280 140373853129346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26300] ppid=26289 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26300/stat : 26300 (java) S 26289 26292 25423 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414579348 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373344073312 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26301] ppid=26289 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26301/stat : 26301 (java) S 26289 26292 25423 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414579348 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373343020416 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26302] ppid=26289 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26302/stat : 26302 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579351 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373341968720 140373853136795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26303] ppid=26289 vsize=10746276 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/26292/task/26303/stat : 26303 (java) S 26289 26292 25423 0 -1 1077944384 2295 0 0 0 53 0 0 0 20 0 16 0 414579351 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373340916080 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26304] ppid=26289 vsize=10746276 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/26292/task/26304/stat : 26304 (java) R 26289 26292 25423 0 -1 4202560 1694 0 0 0 54 0 0 0 20 0 16 0 414579351 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373339863280 140373836614987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26305] ppid=26289 vsize=10746276 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/26292/task/26305/stat : 26305 (java) S 26289 26292 25423 0 -1 1077944384 1829 0 0 0 44 0 0 0 20 0 16 0 414579351 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373338810480 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26306] ppid=26289 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26306/stat : 26306 (java) S 26289 26292 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579351 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373337757920 140373853128405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26307] ppid=26289 vsize=10746276 memory=12 CPUtime=0 cores=1,3,5,7
/proc/26292/task/26307/stat : 26307 (java) S 26289 26292 25423 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414579351 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373336706224 140373853129346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
[pid=26292/tid=26308] ppid=26289 vsize=10746276 memory=10 CPUtime=0.49 cores=1,3,5,7
/proc/26292/task/26308/stat : 26308 (java) R 26289 26292 25423 0 -1 4202560 3427 0 0 0 48 1 0 0 20 0 16 0 414579532 11004186624 38807 33554432000 4194304 4196468 140736851189344 140373319624032 140373444295225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37363712 140736851194891 140736851194994 140736851194994 140736851197903 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 155228 KiB
[startup+2.60947 s]
/proc/loadavg: 1.88 1.85 1.74 2/214 26309
/proc/meminfo: memFree=31393044/32770624 swapFree=66936320/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.68964
CPU time (s): 4.10177
CPU user time (s): 3.96643
CPU system time (s): 0.135345
CPU usage (%): 152.503
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 155228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.96643
system time used= 0.135345
maximum resident set size= 156204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26541
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= 2304
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 26292
# total CPU time (s): 4.10177
# total CPU user time (s): 3.96643
# total CPU system time (s): 0.135345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034531 second user time and 0.071972 second system time
The end