2.39/1.88
2.39/1.88 AbsCon 2
2.64/1.90
3.28/2.19 Instance
3.28/2.19 name=instance-4390479-1568380525, framework=CSP
3.28/2.19
3.28/2.19 Loading variables...
3.57/2.22 Loading constraints...
3.92/2.34
3.92/2.34 Domains
3.92/2.34 nTypes=1, nValues=1000, sizes=[25#40]
3.92/2.35 Variables
3.92/2.35 count=40, degrees=[4#1,5#2,6#3,7#1...10#6,11#3,13#4,14#1]
3.92/2.35 Constraints
3.92/2.35 count=180, arities=[2#180]
3.92/2.35 distribution=[CtrExtensionV-Bits#180]
3.92/2.35 nExtStructures=(180,shared:0), nCftStructures=(180,shared:0)
3.92/2.35 wck=0.489, cpu=2.307, mem=108M428
3.92/2.35 Solver SolverBacktrack being built...
3.92/2.35
3.92/2.37
3.92/2.37 Solver
3.92/2.37 guaranteedGAC=true
3.92/2.37 wck=0.52, cpu=2.336, mem=119M70
3.92/2.38
3.92/2.38 Preprocessing
3.92/2.38 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.92/2.38 wck=0.002, cpu=2.339, mem=119M70
3.92/2.38
3.92/2.39 num=0, depth=3..5, filters=590, revisions=(1923,useless=1331), wck=0.013, mem=119M70
3.92/2.39 decisions=26, wrong=11, backtracks=2, failedAssignments=10, nogoods=4
3.92/2.39
3.92/2.39 num=1, depth=3..5, filters=1515, revisions=(5047,useless=3525), wck=0.018, mem=119M70
3.92/2.39 decisions=59, wrong=25, backtracks=5, failedAssignments=21, nogoods=8
3.92/2.39
3.92/2.39 num=2, depth=5..7, filters=2239, revisions=(7513,useless=5263), wck=0.021, mem=119M70
3.92/2.39 decisions=95, wrong=40, backtracks=8, failedAssignments=33, nogoods=12
3.92/2.39
3.92/2.40 num=3, depth=3..7, filters=3835, revisions=(12924,useless=9060), wck=0.027, mem=119M70
3.92/2.40 decisions=145, wrong=62, backtracks=19, failedAssignments=46, nogoods=16
3.92/2.40
4.27/2.40 num=4, depth=5..9, filters=4563, revisions=(15248,useless=10651), wck=0.03, mem=119M70
4.27/2.40 decisions=185, wrong=79, backtracks=22, failedAssignments=60, nogoods=22
4.27/2.40
4.27/2.42 num=5, depth=4..7, filters=5946, revisions=(19803,useless=13816), wck=0.046, mem=119M70
4.27/2.42 decisions=237, wrong=103, backtracks=30, failedAssignments=76, nogoods=23
4.27/2.42
4.27/2.42 num=6, depth=4..7, filters=7349, revisions=(24212,useless=16812), wck=0.05, mem=119M70
4.27/2.42 decisions=290, wrong=127, backtracks=39, failedAssignments=93, nogoods=31
4.27/2.42
4.27/2.43 num=7, depth=4..7, filters=8778, revisions=(28315,useless=19473), wck=0.053, mem=119M70
4.27/2.43 decisions=344, wrong=152, backtracks=45, failedAssignments=112, nogoods=45
4.27/2.43
4.27/2.43 num=8, depth=5..7, filters=10542, revisions=(33849,useless=23226), wck=0.057, mem=119M70
4.27/2.43 decisions=408, wrong=181, backtracks=53, failedAssignments=133, nogoods=55
4.27/2.43
4.27/2.44 num=9, depth=4..9, filters=12780, revisions=(41472,useless=28586), wck=0.062, mem=119M70
4.27/2.44 decisions=485, wrong=217, backtracks=68, failedAssignments=156, nogoods=64
4.27/2.44
4.27/2.44 num=10, depth=3..6, filters=15052, revisions=(48014,useless=32835), wck=0.066, mem=119M70
4.27/2.44 decisions=557, wrong=251, backtracks=78, failedAssignments=181, nogoods=80
4.27/2.44
4.27/2.44 num=11, depth=4..8, filters=16683, revisions=(52999,useless=36182), wck=0.07, mem=119M70
4.27/2.44 decisions=629, wrong=285, backtracks=85, failedAssignments=209, nogoods=95
4.27/2.44
4.27/2.45 num=12, depth=4..7, filters=19167, revisions=(60456,useless=41131), wck=0.075, mem=121M713
4.27/2.45 decisions=711, wrong=324, backtracks=95, failedAssignments=240, nogoods=109
4.27/2.45
4.27/2.45 num=13, depth=3..7, filters=21556, revisions=(66808,useless=45070), wck=0.079, mem=121M713
4.27/2.45 decisions=796, wrong=365, backtracks=102, failedAssignments=274, nogoods=121
4.27/2.45
4.27/2.46 num=14, depth=3..6, filters=24639, revisions=(76762,useless=51923), wck=0.085, mem=121M713
4.27/2.46 decisions=908, wrong=419, backtracks=121, failedAssignments=311, nogoods=130
4.27/2.46
4.27/2.46 num=15, depth=3..6, filters=27566, revisions=(84887,useless=57082), wck=0.09, mem=121M713
4.27/2.46 decisions=1012, wrong=469, backtracks=132, failedAssignments=352, nogoods=146
4.27/2.46
4.27/2.47 num=16, depth=3..8, filters=31385, revisions=(96936,useless=65280), wck=0.096, mem=121M713
4.27/2.47 decisions=1147, wrong=535, backtracks=154, failedAssignments=397, nogoods=157
4.27/2.47
4.27/2.48 num=17, depth=3..7, filters=35357, revisions=(108849,useless=73189), wck=0.102, mem=121M713
4.27/2.48 decisions=1292, wrong=605, backtracks=177, failedAssignments=447, nogoods=176
4.27/2.48
4.27/2.48 num=18, depth=4..8, filters=39430, revisions=(122809,useless=83050), wck=0.108, mem=121M713
4.27/2.48 decisions=1456, wrong=685, backtracks=206, failedAssignments=502, nogoods=178
4.27/2.48
4.27/2.49 num=19, depth=2..6, filters=44261, revisions=(137060,useless=92432), wck=0.117, mem=124M355
4.27/2.49 decisions=1615, wrong=763, backtracks=227, failedAssignments=563, nogoods=190
4.27/2.49
4.58/2.50 num=20, depth=3..7, filters=49060, revisions=(151118,useless=101655), wck=0.125, mem=124M355
4.58/2.50 decisions=1798, wrong=852, backtracks=251, failedAssignments=630, nogoods=203
4.58/2.50
4.58/2.51 num=21, depth=2..6, filters=56273, revisions=(172174,useless=115449), wck=0.136, mem=124M355
4.58/2.51 decisions=2016, wrong=959, backtracks=287, failedAssignments=704, nogoods=215
4.58/2.51
4.58/2.52 num=22, depth=2..7, filters=63979, revisions=(195699,useless=131194), wck=0.149, mem=124M355
4.58/2.52 decisions=2254, wrong=1076, backtracks=330, failedAssignments=785, nogoods=229
4.58/2.52
4.58/2.53 num=23, depth=2..7, filters=71384, revisions=(218028,useless=146059), wck=0.161, mem=126M998
4.58/2.53 decisions=2501, wrong=1197, backtracks=370, failedAssignments=874, nogoods=238
4.58/2.53
4.58/2.55 num=24, depth=2..8, filters=79280, revisions=(240866,useless=160931), wck=0.173, mem=126M998
4.58/2.55 decisions=2761, wrong=1325, backtracks=411, failedAssignments=972, nogoods=250
4.58/2.55
4.58/2.56 num=25, depth=3..8, filters=88061, revisions=(266849,useless=178074), wck=0.186, mem=126M998
4.58/2.56 decisions=3067, wrong=1476, backtracks=457, failedAssignments=1080, nogoods=257
4.58/2.56
4.58/2.57 num=26, depth=1..8, filters=97826, revisions=(296404,useless=197783), wck=0.199, mem=129M640
4.58/2.57 decisions=3409, wrong=1645, backtracks=516, failedAssignments=1199, nogoods=272
4.58/2.57
4.58/2.58 num=27, depth=2..7, filters=107204, revisions=(324150,useless=216076), wck=0.211, mem=129M640
4.58/2.58 decisions=3757, wrong=1817, backtracks=564, failedAssignments=1330, nogoods=303
4.58/2.58
4.88/2.60 num=28, depth=3..7, filters=117095, revisions=(351735,useless=233676), wck=0.224, mem=132M282
4.88/2.60 decisions=4129, wrong=2001, backtracks=609, failedAssignments=1474, nogoods=331
4.88/2.60
4.88/2.61 num=29, depth=2..7, filters=130620, revisions=(394308,useless=262595), wck=0.238, mem=132M282
4.88/2.61 decisions=4583, wrong=2226, backtracks=685, failedAssignments=1632, nogoods=350
4.88/2.61
4.88/2.62 num=30, depth=1..6, filters=143063, revisions=(428855,useless=284605), wck=0.251, mem=134M925
4.88/2.62 decisions=5019, wrong=2443, backtracks=735, failedAssignments=1806, nogoods=363
4.88/2.62
4.88/2.64 num=31, depth=1..7, filters=157529, revisions=(470312,useless=311484), wck=0.267, mem=134M925
4.88/2.64 decisions=5513, wrong=2688, backtracks=801, failedAssignments=1997, nogoods=366
4.88/2.64
4.88/2.66 num=32, depth=2..8, filters=171391, revisions=(510340,useless=337515), wck=0.282, mem=137M567
4.88/2.66 decisions=6063, wrong=2961, backtracks=870, failedAssignments=2208, nogoods=375
4.88/2.66
4.88/2.67 num=33, depth=3..8, filters=188694, revisions=(561748,useless=371474), wck=0.298, mem=137M567
4.88/2.67 decisions=6663, wrong=3259, backtracks=947, failedAssignments=2440, nogoods=400
4.88/2.67
4.88/2.69 num=34, depth=2..7, filters=206454, revisions=(613607,useless=405434), wck=0.316, mem=140M210
4.88/2.69 decisions=7311, wrong=3581, backtracks=1024, failedAssignments=2695, nogoods=420
4.88/2.69
5.19/2.71 num=35, depth=2..8, filters=228484, revisions=(677704,useless=447331), wck=0.338, mem=142M778
5.19/2.71 decisions=8064, wrong=3956, backtracks=1132, failedAssignments=2976, nogoods=440
5.19/2.71
5.19/2.75 num=36, depth=2..8, filters=252202, revisions=(746554,useless=492242), wck=0.374, mem=25M967
5.19/2.75 decisions=8874, wrong=4359, backtracks=1242, failedAssignments=3285, nogoods=465
5.19/2.75
5.19/2.77 num=37, depth=2..8, filters=280860, revisions=(829103,useless=545900), wck=0.399, mem=28M583
5.19/2.77 decisions=9789, wrong=4815, backtracks=1386, failedAssignments=3625, nogoods=478
5.19/2.77
5.39/2.80 num=38, depth=2..8, filters=310945, revisions=(919648,useless=606105), wck=0.427, mem=31M199
5.39/2.80 decisions=10812, wrong=5324, backtracks=1550, failedAssignments=3999, nogoods=512
5.39/2.80
5.39/2.82 num=39, depth=2..8, filters=339064, revisions=(1000624,useless=658707), wck=0.451, mem=33M815
5.39/2.82 decisions=11852, wrong=5842, backtracks=1670, failedAssignments=4410, nogoods=541
5.39/2.82
5.39/2.86 num=40, depth=1..7, filters=375700, revisions=(1109000,useless=730136), wck=0.484, mem=39M47
5.39/2.86 decisions=13060, wrong=6444, backtracks=1850, failedAssignments=4862, nogoods=546
5.39/2.86
5.39/2.90 num=41, depth=2..7, filters=418252, revisions=(1231972,useless=810178), wck=0.521, mem=44M279
5.39/2.90 decisions=14421, wrong=7123, backtracks=2062, failedAssignments=5359, nogoods=587
5.39/2.90
5.52/2.93 num=42, depth=2..8, filters=456490, revisions=(1343837,useless=883462), wck=0.554, mem=46M895
5.52/2.93 decisions=15859, wrong=7840, backtracks=2271, failedAssignments=5906, nogoods=603
5.52/2.93
5.52/2.97 num=43, depth=2..9, filters=504794, revisions=(1485544,useless=976429), wck=0.595, mem=52M127
5.52/2.97 decisions=17489, wrong=8654, backtracks=2503, failedAssignments=6508, nogoods=651
5.52/2.97
5.65/3.01 num=44, depth=1..8, filters=551999, revisions=(1622339,useless=1065654), wck=0.637, mem=57M359
5.65/3.01 decisions=19154, wrong=9485, backtracks=2701, failedAssignments=7170, nogoods=669
5.65/3.01
5.65/3.06 num=45, depth=1..8, filters=612353, revisions=(1808170,useless=1190581), wck=0.689, mem=62M591
5.65/3.06 decisions=21176, wrong=10495, backtracks=3046, failedAssignments=7898, nogoods=689
5.65/3.06
5.84/3.12 num=46, depth=1..8, filters=678141, revisions=(1995359,useless=1311416), wck=0.746, mem=70M439
5.84/3.12 decisions=23315, wrong=11563, backtracks=3365, failedAssignments=8699, nogoods=714
5.84/3.12
5.84/3.17 num=47, depth=1..8, filters=742943, revisions=(2187498,useless=1438285), wck=0.798, mem=78M287
5.84/3.17 decisions=25628, wrong=12718, backtracks=3688, failedAssignments=9580, nogoods=728
5.84/3.17
5.95/3.24 num=48, depth=1..8, filters=823736, revisions=(2421263,useless=1590593), wck=0.865, mem=86M135
5.95/3.24 decisions=28246, wrong=14025, backtracks=4083, failedAssignments=10550, nogoods=757
5.95/3.24
6.05/3.31 num=49, depth=2..8, filters=905677, revisions=(2656809,useless=1743480), wck=0.932, mem=93M983
6.05/3.31 decisions=31023, wrong=15412, backtracks=4472, failedAssignments=11617, nogoods=787
6.05/3.31
6.05/3.38 num=50, depth=1..8, filters=999703, revisions=(2937350,useless=1929187), wck=1.009, mem=104M447
6.05/3.38 decisions=34246, wrong=17022, backtracks=4997, failedAssignments=12790, nogoods=807
6.05/3.38
6.16/3.46 num=51, depth=1..8, filters=1095912, revisions=(3213932,useless=2108779), wck=1.088, mem=114M911
6.16/3.46 decisions=37590, wrong=18692, backtracks=5432, failedAssignments=14081, nogoods=832
6.16/3.46
6.26/3.55 num=52, depth=0..9, filters=1197844, revisions=(3502269,useless=2294281), wck=1.172, mem=125M375
6.26/3.55 decisions=41205, wrong=20498, backtracks=5889, failedAssignments=15501, nogoods=866
6.26/3.55
6.36/3.65 num=53, depth=1..10, filters=1327398, revisions=(3877015,useless=2538325), wck=1.277, mem=141M71
6.36/3.65 decisions=45437, wrong=22613, backtracks=6568, failedAssignments=17063, nogoods=893
6.36/3.65
6.46/3.76 num=54, depth=1..8, filters=1463802, revisions=(4278059,useless=2801882), wck=1.387, mem=154M151
6.46/3.76 decisions=50042, wrong=24914, backtracks=7282, failedAssignments=18781, nogoods=913
6.46/3.76
6.60/3.89 num=55, depth=1..8, filters=1607957, revisions=(4690540,useless=3069027), wck=1.517, mem=39M144
6.60/3.89 decisions=54904, wrong=27343, backtracks=7890, failedAssignments=20671, nogoods=926
6.60/3.89
6.69/4.00 num=56, depth=1..39, filters=1735511, revisions=(5066789,useless=3316663), ccks=180, wck=1.626, mem=49M645
6.69/4.00 decisions=59200, wrong=29488, backtracks=8521, failedAssignments=22281, nogoods=926, foundSolutions=1
6.69/4.00
6.69/4.00 Global
6.69/4.00 filters=1735511, revisions=(5066789,useless=3316663), ccks=180, nogoods=926
6.69/4.00 Stop=REACHED_GOAL, wrong=29488, foundSolutions=1, firstSolCpu=3.93
6.69/4.00 wck=2.146, cpu=3.935, mem=49M645
6.69/4.00
6.69/4.00 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 10 7 18 16 2 20 19 20 8 20 21 11 1 24 3 11 21 5 10 16 14 14 6 4 10 12 7 12 11 9 0 16 7 17 21 4 16 12 7 11 </values> </instantiation>
6.69/4.00 s SATISFIABLE
6.69/4.00
6.69/4.00 d WRONG_DECISIONS 29488
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 (15414 MiB free)
memory of node 1: 16384 MiB (15500 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390479-1568380525/watcher-4390479-1568380525 -o /tmp/evaluation-result-4390479-1568380525/solver-4390479-1568380525 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26901 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390479-1568380525.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27024, runsolver pid=27021
[startup+0.101681 s]*
/proc/loadavg: 0.48 0.11 0.08 4/234 27039
/proc/meminfo: memFree=31641508/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10659884 memory=29540 CPUtime=0.14 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 5923 0 0 0 13 1 0 0 20 0 15 0 413975216 10915721216 7385 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2664971 7385 2909 1 0 2627468 0
[pid=27024/tid=27026] ppid=27021 vsize=10659884 memory=7747744361495276107 CPUtime=0.1 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) R 27021 27024 26870 0 -1 4202560 3300 0 0 0 9 1 0 0 20 0 15 0 413975216 10915721216 7385 33554432000 4194304 4196468 140729898742352 140688280305296 140688276086166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 7385 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 7385 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975218 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413975219 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687579337760 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413975219 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687578284912 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975221 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 15 0 413975221 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) S 27021 27024 26870 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 413975221 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687575128816 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) R 27021 27024 26870 0 -1 4202560 590 0 0 0 2 0 0 0 20 0 15 0 413975221 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687574071976 140688255050839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975222 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975222 10915721216 7385 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29540 KiB
[startup+0.211029 s]*
/proc/loadavg: 0.48 0.11 0.08 4/234 27039
/proc/meminfo: memFree=31631308/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10659884 memory=37280 CPUtime=0.33 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 9031 0 0 0 30 3 0 0 20 0 15 0 413975216 10915721216 9320 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2664971 9320 2989 1 0 2627468 0
[pid=27024/tid=27026] ppid=27021 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) R 27021 27024 26870 0 -1 4202560 6099 0 0 0 18 2 0 0 20 0 15 0 413975216 10915721216 9320 33554432000 4194304 4196468 140729898742352 140688280312384 140688276096157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 9320 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10659884 memory=139996185082849 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 9320 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975218 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413975219 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687579337760 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413975219 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687578284912 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975221 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 676 0 0 0 2 0 0 0 20 0 15 0 413975221 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) S 27021 27024 26870 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 413975221 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687575128816 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0.05 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) S 27021 27024 26870 0 -1 1077944384 622 0 0 0 5 0 0 0 20 0 15 0 413975221 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687574076016 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975222 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975222 10915721216 9320 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37280 KiB
[startup+0.310528 s]*
/proc/loadavg: 0.48 0.11 0.08 4/234 27039
/proc/meminfo: memFree=31628824/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10659884 memory=40092 CPUtime=0.48 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 9279 0 0 0 45 3 0 0 20 0 15 0 413975216 10915721216 10023 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2664971 10023 3002 1 0 2627468 0
[pid=27024/tid=27026] ppid=27021 vsize=10659884 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) R 27021 27024 26870 0 -1 4202560 6249 0 0 0 28 2 0 0 20 0 15 0 413975216 10915721216 10023 33554432000 4194304 4196468 140729898742352 140688280306616 140688260154718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10659884 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 10023 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10659884 memory=139996184432262 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 10023 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975217 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975218 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413975219 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687579337760 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413975219 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687578284912 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975221 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) R 27021 27024 26870 0 -1 1077944384 684 0 0 0 3 0 0 0 20 0 15 0 413975221 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687576181712 140688276084437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) R 27021 27024 26870 0 -1 4202560 320 0 0 0 4 0 0 0 20 0 15 0 413975221 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687575119328 140688276095578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0.08 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) R 27021 27024 26870 0 -1 4202560 666 0 0 0 8 0 0 0 20 0 15 0 413975221 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687574076016 140688276086166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975222 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10659884 memory=139996182210176 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975222 10915721216 10023 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40092 KiB
[startup+0.701167 s]
/proc/loadavg: 0.48 0.11 0.08 3/234 27039
/proc/meminfo: memFree=31619332/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10661932 memory=62204 CPUtime=1.1 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 12595 0 0 0 106 4 0 0 20 0 15 0 413975216 10917818368 15551 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2665483 15551 3062 1 0 2627980 0
[pid=27024/tid=27026] ppid=27021 vsize=10661932 memory=13948 CPUtime=0.67 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) R 27021 27024 26870 0 -1 4202560 8775 0 0 0 64 3 0 0 20 0 15 0 413975216 10917818368 15551 33554432000 4194304 4196468 140729898742352 140688280300112 140688262290039 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10917818368 15551 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10917818368 15551 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975217 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975218 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10661932 memory=896 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413975219 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687579337760 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413975219 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687578284912 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10661932 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975221 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10661932 memory=2452 CPUtime=0.09 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 828 0 0 0 9 0 0 0 20 0 15 0 413975221 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10661932 memory=7302135314614015840 CPUtime=0.12 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) R 27021 27024 26870 0 -1 4202560 590 0 0 0 12 0 0 0 20 0 15 0 413975221 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687575128816 140688262226984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10661932 memory=6008736850241416048 CPUtime=0.19 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) S 27021 27024 26870 0 -1 1077944384 1041 0 0 0 19 0 0 0 20 0 15 0 413975221 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687574076016 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10661932 memory=7523071198212214892 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975222 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10661932 memory=10 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975222 10917818368 15551 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62204 KiB
[startup+1.50081 s]
/proc/loadavg: 0.77 0.18 0.10 3/234 27039
/proc/meminfo: memFree=31603644/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10663980 memory=74848 CPUtime=2 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 16798 0 0 0 195 5 0 0 20 0 15 0 413975216 10919915520 18712 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2665995 18712 3092 1 0 2628492 0
[pid=27024/tid=27026] ppid=27021 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) R 27021 27024 26870 0 -1 4202560 11806 0 0 0 143 4 0 0 20 0 15 0 413975216 10919915520 18712 33554432000 4194304 4196468 140729898742352 140688280306256 140688260154718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10919915520 18712 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10663980 memory=7740953747011497074 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10919915520 18712 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10663980 memory=7740953747011497074 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413975217 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10663980 memory=7740953747011497074 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413975217 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10663980 memory=7740953747011497074 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 413975218 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10663980 memory=7882543348021228139 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413975219 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687579337760 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413975219 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687578284912 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975221 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10663980 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 1188 0 0 0 12 0 0 0 20 0 15 0 413975221 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10663980 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) S 27021 27024 26870 0 -1 1077944384 1376 0 0 0 19 0 0 0 20 0 15 0 413975221 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687575128816 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10663980 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) S 27021 27024 26870 0 -1 1077944384 1043 0 0 0 19 0 0 0 20 0 15 0 413975221 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687574076016 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413975222 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413975222 10919915520 18712 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 74848 KiB
[startup+3.11044 s]
/proc/loadavg: 0.77 0.18 0.10 4/235 27040
/proc/meminfo: memFree=31411592/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10746276 memory=256560 CPUtime=5.84 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 29623 0 0 0 568 16 0 0 20 0 16 0 413975216 11004186624 64140 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2686569 64140 3360 1 0 2646705 0
[pid=27024/tid=27026] ppid=27021 vsize=10746276 memory=279992139465088 CPUtime=1.86 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) S 27021 27024 26870 0 -1 1077944384 13954 0 0 0 180 6 0 0 20 0 16 0 413975216 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688280317104 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10746276 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10746276 memory=6224326950734024024 CPUtime=0.01 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10746276 memory=732 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10746276 memory=2241 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10746276 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 16 0 413975218 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10746276 memory=11329696435 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 413975219 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687579337824 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 413975219 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687578284928 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10746276 memory=279992139505104 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10746276 memory=6944656592387989600 CPUtime=1 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 2691 0 0 0 100 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10746276 memory=256536 CPUtime=1.06 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) R 27021 27024 26870 0 -1 4202560 4427 0 0 0 106 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687575128816 140688259571015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10746276 memory=984 CPUtime=0.57 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) S 27021 27024 26870 0 -1 1077944384 2439 0 0 0 56 1 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687574076016 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10746276 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413975222 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10746276 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 413975222 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27040] ppid=27021 vsize=10746276 memory=732 CPUtime=1.16 cores=0,2,4,6
/proc/27024/task/27040/stat : 27040 (java) R 27021 27024 26870 0 -1 4202560 3762 0 0 0 113 3 0 0 20 0 16 0 413975404 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687561258080 140687917517941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 256560 KiB
[startup+4.01307 s]
# the end of solver process 27024 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.64066 s, system=0.173099 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.201 s]
/proc/loadavg: 0.77 0.18 0.10 4/235 27040
/proc/meminfo: memFree=31411592/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10746276 memory=256560 CPUtime=5.95 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 29636 0 0 0 579 16 0 0 20 0 16 0 413975216 11004186624 64140 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2686569 64140 3360 1 0 2646705 0
[pid=27024/tid=27026] ppid=27021 vsize=10746276 memory=2241 CPUtime=1.86 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) S 27021 27024 26870 0 -1 1077944384 13954 0 0 0 180 6 0 0 20 0 16 0 413975216 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688280317104 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10746276 memory=2244 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10746276 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10746276 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10746276 memory=279992139573952 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10746276 memory=279992139580672 CPUtime=0.01 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 16 0 413975218 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10746276 memory=27035 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 413975219 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687579337824 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10746276 memory=279992139592976 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 413975219 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687578284928 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10746276 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 2696 0 0 0 102 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10746276 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) S 27021 27024 26870 0 -1 1077944384 4429 0 0 0 107 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687575128816 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10746276 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) S 27021 27024 26870 0 -1 1077944384 2439 0 0 0 56 1 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687574076016 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413975222 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10746276 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 413975222 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27040] ppid=27021 vsize=10746276 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/27024/task/27040/stat : 27040 (java) R 27021 27024 26870 0 -1 4202560 3768 0 0 0 122 3 0 0 20 0 16 0 413975404 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687561258080 140687917297580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 256560 KiB
[startup+3.6008 s]
/proc/loadavg: 0.77 0.18 0.10 4/235 27040
/proc/meminfo: memFree=31411592/32770624 swapFree=67009196/67108860
[pid=27024] ppid=27021 vsize=10746276 memory=256560 CPUtime=6.36 cores=0,2,4,6
/proc/27024/stat : 27024 (java) S 27021 27024 26870 0 -1 1077944320 29667 0 0 0 620 16 0 0 20 0 16 0 413975216 11004186624 64140 33554432000 4194304 4196468 140729898742352 140729898724896 140688276074231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
/proc/27024/statm: 2686569 64140 3360 1 0 2646705 0
[pid=27024/tid=27026] ppid=27021 vsize=10746276 memory=6655300316396806240 CPUtime=1.86 cores=0,2,4,6
/proc/27024/task/27026/stat : 27026 (java) S 27021 27024 26870 0 -1 1077944384 13954 0 0 0 180 6 0 0 20 0 16 0 413975216 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688280317104 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27027] ppid=27021 vsize=10746276 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27027/stat : 27027 (java) S 27021 27024 26870 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688232627344 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27028] ppid=27021 vsize=10746276 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/27024/task/27028/stat : 27028 (java) S 27021 27024 26870 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140688231574544 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27029] ppid=27021 vsize=10746276 memory=-6800859132029471843 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27029/stat : 27029 (java) S 27021 27024 26870 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687881198480 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27030] ppid=27021 vsize=10746276 memory=7518022159162827609 CPUtime=0.02 cores=0,2,4,6
/proc/27024/task/27030/stat : 27030 (java) S 27021 27024 26870 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 16 0 413975217 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687880145680 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27031] ppid=27021 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27024/task/27031/stat : 27031 (java) S 27021 27024 26870 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 16 0 413975218 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687580391792 140688276085378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27032] ppid=27021 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27032/stat : 27032 (java) S 27021 27024 26870 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 413975219 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687579337824 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27033] ppid=27021 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27033/stat : 27033 (java) S 27021 27024 26870 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 413975219 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687578284928 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27034] ppid=27021 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27034/stat : 27034 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687577233232 140688276092827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27035] ppid=27021 vsize=10746276 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/27024/task/27035/stat : 27035 (java) S 27021 27024 26870 0 -1 1077944384 2696 0 0 0 102 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687576181616 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27036] ppid=27021 vsize=10746276 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/27024/task/27036/stat : 27036 (java) S 27021 27024 26870 0 -1 1077944384 4429 0 0 0 107 0 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687575128816 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27037] ppid=27021 vsize=10746276 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/27024/task/27037/stat : 27037 (java) S 27021 27024 26870 0 -1 1077944384 2441 0 0 0 56 1 0 0 20 0 16 0 413975221 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687574076016 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27038] ppid=27021 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27038/stat : 27038 (java) S 27021 27024 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413975222 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687573023456 140688276084437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27039] ppid=27021 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27024/task/27039/stat : 27039 (java) S 27021 27024 26870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 413975222 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687571970736 140688276085378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
[pid=27024/tid=27040] ppid=27021 vsize=10746276 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/27024/task/27040/stat : 27040 (java) R 27021 27024 26870 0 -1 4202560 3797 0 0 0 162 3 0 0 20 0 16 0 413975404 11004186624 64140 33554432000 4194304 4196468 140729898742352 140687561252096 140687917297589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729898746891 140729898746994 140729898746994 140729898749903 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 256560 KiB
[startup+4.0007 s]*
/proc/loadavg: 0.77 0.18 0.10 3/235 27040
/proc/meminfo: memFree=31408800/32770624 swapFree=67009196/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): 4.01311
CPU time (s): 6.81375
CPU user time (s): 6.64066
CPU system time (s): 0.173099
CPU usage (%): 169.788
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 258792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.64065
system time used= 0.173099
maximum resident set size= 259280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30446
page faults= 0
swaps= 0
block input operations= 104
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2484
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 27024
# total CPU time (s): 6.81375
# total CPU user time (s): 6.64066
# total CPU system time (s): 0.173099
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064439 second user time and 0.066484 second system time
The end