2.58/1.90
2.58/1.90 AbsCon 2
2.58/1.92
2.83/2.07 Instance
2.83/2.07 name=instance-4390527-1568383192, framework=CSP
2.83/2.07
2.83/2.07 Loading variables...
2.83/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d46adaf
2.83/2.10 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3b2c0c
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c15178a
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4133212e
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17148e8b
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b485d86
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40abf246
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bea4938
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d66511
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62f1f318
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9988ae
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42053d70
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f8041e
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bcd7d44
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c70a116
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9a7118
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@789cda7c
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@732dd746
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7167abd8
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ae09dd2
2.83/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fe16aa4
2.83/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51b76870
2.83/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37e2953f
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392d084c
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aca3091
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307966e8
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524821b9
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@730fa700
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2776d120
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@775d108a
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517b9cbd
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fc1549
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7345ef21
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ea809d
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac35fba
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@114ee55c
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bbc05d4
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536c474b
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7635e082
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d12b4
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6140f6b2
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5402d0
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75102863
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@433d790
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed779cd
3.08/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@729f4e72
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d67e231
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9e83b8f
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c2f927d
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576b40e
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@276c8b59
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4811ca
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad5c4f0
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a996cda
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52d5cd7b
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0dd1c9
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b39f1bb
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6894af38
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1731936
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5699e3
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3daf2e9f
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74041005
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@751ee44c
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c19e611
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6061e673
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31894a80
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e46f25
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@786d0df
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4a181
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edf22e4
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d33a33f
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5582dcbb
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1358361e
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adbe3ed
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ca0291
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198a5ed1
3.08/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aee372e
3.08/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1547ade6
3.08/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b04495
3.08/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ff0ffc
3.08/2.14
3.08/2.14
3.08/2.14 Domains
3.08/2.14 nTypes=1, nValues=4600, sizes=[46#100]
3.08/2.14 Variables
3.08/2.14 count=100, degrees=[1#3,2#3,3#7,4#26...9#2,10#3,11#1,12#1]
3.08/2.15 Constraints
3.08/2.15 count=80, nSpecific=80, arities=[3#10,4#9,5#13,6#3,7#12,8#9,9#11,10#13]
3.08/2.15 distribution=[SumWeightedEQ#80]
3.08/2.15 wck=0.271, cpu=2.113, mem=21M227
3.08/2.15 Solver SolverBacktrack being built...
3.08/2.15
3.08/2.17
3.08/2.17 Solver
3.08/2.17 guaranteedGAC=false
3.08/2.17 wck=0.302, cpu=2.143, mem=31M870
3.08/2.18
3.08/2.18 Preprocessing
3.08/2.18 filters=54, nACremovedValues=923, nTotalRemovedValues=923, inconcistency=false
3.08/2.18 wck=0.006, cpu=2.151, mem=31M870
3.08/2.18
3.31/2.20 num=0, depth=3..5, filters=475, wck=0.017, mem=31M870
3.31/2.20 decisions=28, wrong=12, backtracks=2, failedAssignments=10, nogoods=10
3.31/2.20
3.31/2.20 num=1, depth=2..5, filters=1156, wck=0.024, mem=31M870
3.31/2.20 decisions=57, wrong=25, backtracks=4, failedAssignments=21, nogoods=21
3.31/2.20
3.31/2.21 num=2, depth=0..2, filters=1719, wck=0.03, mem=31M870
3.31/2.21 decisions=87, wrong=39, backtracks=6, failedAssignments=33, nogoods=27
3.31/2.21
3.31/2.21 num=3, depth=1..2, filters=2016, wck=0.034, mem=31M870
3.31/2.21 decisions=116, wrong=53, backtracks=7, failedAssignments=46, nogoods=33
3.31/2.21
3.31/2.22 num=4, depth=5..6, filters=3099, wck=0.041, mem=31M870
3.31/2.22 decisions=151, wrong=68, backtracks=8, failedAssignments=60, nogoods=36
3.31/2.22
3.31/2.22 num=5, depth=0..1, filters=3531, wck=0.044, mem=31M870
3.31/2.22 decisions=185, wrong=85, backtracks=9, failedAssignments=76, nogoods=36
3.31/2.22
3.31/2.23 num=6, depth=0..6, filters=3852, wck=0.06, mem=31M870
3.31/2.23 decisions=224, wrong=102, backtracks=9, failedAssignments=93, nogoods=52
3.31/2.23
3.31/2.24 num=7, depth=0..1, filters=3993, wck=0.061, mem=31M870
3.31/2.24 decisions=264, wrong=122, backtracks=10, failedAssignments=112, nogoods=52
3.31/2.24
3.31/2.24 num=8, depth=0..4, filters=4451, wck=0.064, mem=31M870
3.31/2.24 decisions=314, wrong=145, backtracks=13, failedAssignments=133, nogoods=62
3.31/2.24
3.31/2.24 num=9, depth=2..4, filters=4968, wck=0.067, mem=31M870
3.31/2.24 decisions=368, wrong=171, backtracks=18, failedAssignments=156, nogoods=73
3.31/2.24
3.31/2.25 num=10, depth=0..1, filters=5550, wck=0.071, mem=31M870
3.31/2.25 decisions=421, wrong=197, backtracks=19, failedAssignments=181, nogoods=84
3.31/2.25
3.31/2.25 num=11, depth=1..99, filters=6106, ccks=160, wck=0.08, mem=34M512
3.31/2.25 decisions=449, wrong=208, backtracks=20, failedAssignments=191, nogoods=84, foundSolutions=1
3.31/2.25
3.31/2.25 Global
3.31/2.25 filters=6106, ccks=160, nogoods=84
3.31/2.25 Stop=REACHED_GOAL, wrong=208, foundSolutions=1, firstSolCpu=2.219
3.31/2.25 wck=0.383, cpu=2.224, mem=34M512
3.31/2.25
3.31/2.25 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47 </values> </instantiation>
3.31/2.25 s SATISFIABLE
3.31/2.25
3.31/2.25 d WRONG_DECISIONS 208
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 (14220 MiB free)
memory of node 1: 16384 MiB (15489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390527-1568383192/watcher-4390527-1568383192 -o /tmp/evaluation-result-4390527-1568383192/solver-4390527-1568383192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2530 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390527-1568383192.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
solver pid=4801, runsolver pid=4798
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.18 1.67 1.50 4/228 4816
/proc/meminfo: memFree=30409148/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10659884 memory=26148 CPUtime=0.13 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 5603 0 0 0 12 1 0 0 20 0 15 0 414261118 10915721216 6537 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2664971 6537 2880 1 0 2627468 0
[pid=4801/tid=4803] ppid=4798 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) R 4798 4801 2499 0 -1 4202560 3257 0 0 0 8 1 0 0 20 0 15 0 414261118 10915721216 6603 33554432000 4194304 4196468 140722482205280 139641503979664 139641499779674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 6603 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 6603 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 6603 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 6603 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261120 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261121 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640990303392 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261121 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640989250288 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261123 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) R 4798 4801 2499 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 414261123 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640987147088 139641499768533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) S 4798 4801 2499 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 414261123 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640986094448 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0.02 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) R 4798 4801 2499 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 15 0 414261123 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640985037304 139641478293384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261124 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261124 10915721216 6603 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26148 KiB
[startup+0.210432 s]*
/proc/loadavg: 2.18 1.67 1.50 4/228 4816
/proc/meminfo: memFree=30397860/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10659884 memory=35756 CPUtime=0.32 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 9277 0 0 0 29 3 0 0 20 0 15 0 414261118 10915721216 8939 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2664971 8939 2981 1 0 2627468 0
[pid=4801/tid=4803] ppid=4798 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) R 4798 4801 2499 0 -1 4202560 6165 0 0 0 17 2 0 0 20 0 15 0 414261118 10915721216 8939 33554432000 4194304 4196468 140722482205280 139641503984688 139641499780253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 8939 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10659884 memory=4051464843235849888 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 8939 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 8939 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 8939 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261120 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261121 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640990303392 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261121 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640989250288 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261123 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) S 4798 4801 2499 0 -1 1077944384 576 0 0 0 3 0 0 0 20 0 15 0 414261123 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640987146992 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) S 4798 4801 2499 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 414261123 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640986094448 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0.05 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) S 4798 4801 2499 0 -1 1077944384 847 0 0 0 5 0 0 0 20 0 15 0 414261123 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261124 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261124 10915721216 8939 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35756 KiB
[startup+0.310359 s]*
/proc/loadavg: 2.18 1.67 1.50 3/228 4816
/proc/meminfo: memFree=30395812/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10660908 memory=39104 CPUtime=0.47 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 9525 0 0 0 43 4 0 0 20 0 15 0 414261118 10916769792 9776 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2665227 9776 3021 1 0 2627724 0
[pid=4801/tid=4803] ppid=4798 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) R 4798 4801 2499 0 -1 4202560 6420 0 0 0 27 3 0 0 20 0 15 0 414261118 10915721216 9779 33554432000 4194304 4196468 140722482205280 139641503978480 139641499780253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 9779 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10659884 memory=3906224850469811872 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 9779 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 9779 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10915721216 9779 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261120 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261121 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640990303392 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261121 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640989250288 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261123 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) S 4798 4801 2499 0 -1 1077944384 603 0 0 0 4 0 0 0 20 0 15 0 414261123 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640987146992 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) R 4798 4801 2499 0 -1 4202560 361 0 0 0 4 0 0 0 20 0 15 0 414261123 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640986094448 139641492743369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0.08 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) R 4798 4801 2499 0 -1 1077944384 900 0 0 0 8 0 0 0 20 0 15 0 414261123 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261124 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10659884 memory=140316582246016 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261124 10915721216 9779 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 39104 KiB
[startup+0.700689 s]
/proc/loadavg: 2.18 1.67 1.50 3/228 4816
/proc/meminfo: memFree=30386140/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10661932 memory=60876 CPUtime=1.07 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 12743 0 0 0 101 6 0 0 20 0 15 0 414261118 10917818368 15219 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2665483 15219 3075 1 0 2627980 0
[pid=4801/tid=4803] ppid=4798 vsize=10661932 memory=1428 CPUtime=0.68 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) R 4798 4801 2499 0 -1 4202560 8842 0 0 0 63 5 0 0 20 0 15 0 414261118 10917818368 15283 33554432000 4194304 4196468 140722482205280 139641503990192 139641483838814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10661932 memory=11580 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10917818368 15283 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10661932 memory=740 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10917818368 15283 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10917818368 15283 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10661932 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10917818368 15283 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10661932 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261120 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10661932 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261121 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640990303392 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261121 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640989250288 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261123 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10661932 memory=7013342048905618540 CPUtime=0.1 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) S 4798 4801 2499 0 -1 1077944384 792 0 0 0 10 0 0 0 20 0 15 0 414261123 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640987146992 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10661932 memory=5787219346483269989 CPUtime=0.09 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) S 4798 4801 2499 0 -1 1077944384 435 0 0 0 9 0 0 0 20 0 15 0 414261123 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640986094448 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10661932 memory=4629539461233085814 CPUtime=0.18 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) S 4798 4801 2499 0 -1 1077944384 1315 0 0 0 18 0 0 0 20 0 15 0 414261123 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261124 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261124 10917818368 15283 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60876 KiB
[startup+1.5007 s]
/proc/loadavg: 2.18 1.67 1.50 3/228 4816
/proc/meminfo: memFree=30370000/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10663980 memory=74328 CPUtime=1.96 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 18365 0 0 0 188 8 0 0 20 0 15 0 414261118 10919915520 18582 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2665995 18582 3093 1 0 2628492 0
[pid=4801/tid=4803] ppid=4798 vsize=10663980 memory=8112282956445269571 CPUtime=1.47 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) R 4798 4801 2499 0 -1 4202560 13219 0 0 0 141 6 0 0 20 0 15 0 414261118 10919915520 18582 33554432000 4194304 4196468 140722482205280 139641503990352 139641499780253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10919915520 18582 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10919915520 18582 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10919915520 18582 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10919915520 18582 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 414261120 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261121 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640990303392 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261121 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640989250288 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261123 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10663980 memory=7014751519734649955 CPUtime=0.13 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) S 4798 4801 2499 0 -1 1077944384 1406 0 0 0 13 0 0 0 20 0 15 0 414261123 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640987146992 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10663980 memory=7156900849689586257 CPUtime=0.14 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) S 4798 4801 2499 0 -1 1077944384 948 0 0 0 14 0 0 0 20 0 15 0 414261123 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640986094448 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10663980 memory=8112282956445269571 CPUtime=0.18 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) S 4798 4801 2499 0 -1 1077944384 1317 0 0 0 18 0 0 0 20 0 15 0 414261123 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261124 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10663980 memory=13057 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414261124 10919915520 18582 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 74328 KiB
[startup+2.26623 s]
# the end of solver process 4801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.37195 s, system=0.144265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60081 s]
/proc/loadavg: 2.18 1.67 1.50 3/228 4816
/proc/meminfo: memFree=30370000/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10666028 memory=75124 CPUtime=2.07 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 18675 0 0 0 199 8 0 0 20 0 15 0 414261118 10922012672 18781 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2666507 18781 3093 1 0 2629004 0
[pid=4801/tid=4803] ppid=4798 vsize=10666028 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) R 4798 4801 2499 0 -1 4202560 13489 0 0 0 151 7 0 0 20 0 15 0 414261118 10922012672 18781 33554432000 4194304 4196468 140722482205280 139641503984208 139641480030039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10922012672 18781 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10922012672 18781 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261119 10922012672 18781 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261119 10922012672 18781 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 414261120 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10666028 memory=7091604122585225322 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261121 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640990303392 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10666028 memory=5793975909508012138 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261121 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640989250288 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261123 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10666028 memory=160966650210599 CPUtime=0.13 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) S 4798 4801 2499 0 -1 1077944384 1446 0 0 0 13 0 0 0 20 0 15 0 414261123 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640987146992 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10666028 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) S 4798 4801 2499 0 -1 1077944384 948 0 0 0 14 0 0 0 20 0 15 0 414261123 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640986094448 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) S 4798 4801 2499 0 -1 1077944384 1317 0 0 0 18 0 0 0 20 0 15 0 414261123 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10666028 memory=-4695052241013923951 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261124 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10666028 memory=280632894685424 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414261124 10922012672 18781 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 2.07 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 75124 KiB
[startup+2.00068 s]*
/proc/loadavg: 2.18 1.67 1.50 5/230 4819
/proc/meminfo: memFree=30290944/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10744136 memory=144220 CPUtime=2.83 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 23437 0 0 0 271 12 0 0 20 0 16 0 414261118 11001995264 36055 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2686034 36055 3303 1 0 2646705 0
[pid=4801/tid=4803] ppid=4798 vsize=10744136 memory=7822038051842263955 CPUtime=1.88 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) S 4798 4801 2499 0 -1 1077944384 15513 0 0 0 180 8 0 0 20 0 16 0 414261118 11001995264 36055 33554432000 4194304 4196468 140722482205280 139641504001200 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10744136 memory=4122819170707507513 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414261119 11001995264 36055 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10744136 memory=140316582246016 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414261119 11001995264 36055 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10744136 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414261119 11001995264 36055 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10744136 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414261119 11001995264 36055 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10744136 memory=140316582246016 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 1129 0 0 0 1 0 0 0 20 0 16 0 414261120 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10744136 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414261121 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640990303456 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10744136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414261121 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640989250304 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10744136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261123 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10744136 memory=280632895292000 CPUtime=0.24 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) S 4798 4801 2499 0 -1 1077944384 1791 0 0 0 24 0 0 0 20 0 16 0 414261123 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640987146992 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10744136 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) R 4798 4801 2499 0 -1 4202560 1017 0 0 0 26 0 0 0 20 0 16 0 414261123 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640986094448 139641483731851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10744136 memory=576461256399351847 CPUtime=0.25 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) R 4798 4801 2499 0 -1 1077944384 1612 0 0 0 25 0 0 0 20 0 16 0 414261123 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10744136 memory=17120 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261124 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10744136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414261124 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4819] ppid=4798 vsize=10744136 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4801/task/4819/stat : 4819 (java) R 4798 4801 2499 0 -1 4202560 744 0 0 0 7 0 0 0 20 0 16 0 414261308 11001995264 36055 33554432000 4194304 4196468 140722482205280 139640966266000 139641137832960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 144220 KiB
[startup+2.20063 s]
/proc/loadavg: 2.18 1.67 1.50 5/230 4819
/proc/meminfo: memFree=30290944/32770624 swapFree=66945304/67108860
[pid=4801] ppid=4798 vsize=10746276 memory=147724 CPUtime=3.31 cores=0,2,4,6
/proc/4801/stat : 4801 (java) S 4798 4801 2499 0 -1 1077944320 24749 0 0 0 319 12 0 0 20 0 16 0 414261118 11004186624 36931 33554432000 4194304 4196468 140722482205280 140722482187824 139641499758327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
/proc/4801/statm: 2686569 36931 3337 1 0 2646705 0
[pid=4801/tid=4803] ppid=4798 vsize=10746276 memory=21834 CPUtime=1.88 cores=0,2,4,6
/proc/4801/task/4803/stat : 4803 (java) S 4798 4801 2499 0 -1 1077944384 15513 0 0 0 180 8 0 0 20 0 16 0 414261118 11004186624 36931 33554432000 4194304 4196468 140722482205280 139641504001200 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4804] ppid=4798 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4804/stat : 4804 (java) S 4798 4801 2499 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414261119 11004186624 36931 33554432000 4194304 4196468 140722482205280 139641106131984 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4805] ppid=4798 vsize=10746276 memory=664970774541936282 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4805/stat : 4805 (java) S 4798 4801 2499 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414261119 11004186624 36931 33554432000 4194304 4196468 140722482205280 139641105079440 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4806] ppid=4798 vsize=10746276 memory=8695779773216956535 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4806/stat : 4806 (java) S 4798 4801 2499 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414261119 11004186624 36931 33554432000 4194304 4196468 140722482205280 139641104026384 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4807] ppid=4798 vsize=10746276 memory=735124464163994000 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4807/stat : 4807 (java) S 4798 4801 2499 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414261119 11004186624 36931 33554432000 4194304 4196468 140722482205280 139641102973840 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4808] ppid=4798 vsize=10746276 memory=140316581561829 CPUtime=0.01 cores=0,2,4,6
/proc/4801/task/4808/stat : 4808 (java) S 4798 4801 2499 0 -1 1077944384 1129 0 0 0 1 0 0 0 20 0 16 0 414261120 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640991357168 139641499769474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4809] ppid=4798 vsize=10746276 memory=924 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4809/stat : 4809 (java) S 4798 4801 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414261121 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640990303456 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4810] ppid=4798 vsize=10746276 memory=7305218370954291798 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4810/stat : 4810 (java) S 4798 4801 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414261121 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640989250304 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4811] ppid=4798 vsize=10746276 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4811/stat : 4811 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261123 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640988198864 139641499776923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4812] ppid=4798 vsize=10746276 memory=8025788814078207340 CPUtime=0.31 cores=0,2,4,6
/proc/4801/task/4812/stat : 4812 (java) R 4798 4801 2499 0 -1 4202560 1851 0 0 0 31 0 0 0 20 0 16 0 414261123 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640987147088 139641484866082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4813] ppid=4798 vsize=10746276 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/4801/task/4813/stat : 4813 (java) R 4798 4801 2499 0 -1 4202560 1062 0 0 0 34 0 0 0 20 0 16 0 414261123 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640986083136 139641479414912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4814] ppid=4798 vsize=10746276 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/4801/task/4814/stat : 4814 (java) S 4798 4801 2499 0 -1 1077944384 1989 0 0 0 41 0 0 0 20 0 16 0 414261123 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640985041392 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4815] ppid=4798 vsize=10746276 memory=280632894685424 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4815/stat : 4815 (java) S 4798 4801 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261124 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640983989088 139641499768533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4816] ppid=4798 vsize=10746276 memory=7158585280095608934 CPUtime=0 cores=0,2,4,6
/proc/4801/task/4816/stat : 4816 (java) S 4798 4801 2499 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414261124 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640982936112 139641499769474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
[pid=4801/tid=4819] ppid=4798 vsize=10746276 memory=6441370576508249454 CPUtime=0.26 cores=0,2,4,6
/proc/4801/task/4819/stat : 4819 (java) R 4798 4801 2499 0 -1 4202560 1570 0 0 0 26 0 0 0 20 0 16 0 414261308 11004186624 36931 33554432000 4194304 4196468 140722482205280 139640966273344 139641499770262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140722482209803 140722482209906 140722482209906 140722482212815 0
Current children cumulated CPU time: 3.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 147724 KiB
Child status: 0
Real time (s): 2.26627
CPU time (s): 3.51622
CPU user time (s): 3.37195
CPU system time (s): 0.144265
CPU usage (%): 155.154
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 147724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.37195
system time used= 0.144265
maximum resident set size= 151836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2225
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 4801
# total CPU time (s): 3.51622
# total CPU user time (s): 3.37195
# total CPU system time (s): 0.144265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035976 second user time and 0.070863 second system time
The end