2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
14.60/10.66 Instance
14.60/10.66 name=instance-4390604-1568380522, framework=CSP
14.60/10.66
14.60/10.66 Loading variables...
14.80/10.74 Loading constraints...
27.03/16.32
27.03/16.32 Domains
27.03/16.32 nTypes=1, nValues=144, sizes=[12#12]
27.03/16.32 Variables
27.03/16.32 count=12, degrees=[74#1,75#1,78#1,79#1...85#2,86#1,90#2,95#1]
27.03/16.32 Constraints
27.03/16.32 count=200, nSpecific=200, arities=[5#200]
27.03/16.32 distribution=[CtrExtensionCT-Table#200]
27.03/16.32 tables=[37324#200], nTotalTuples=7464800
27.03/16.32 nExtStructures=(200,shared:0)
27.03/16.32 wck=14.471, cpu=12.878, mem=2013M388
27.03/16.36 Solver SolverBacktrack being built...
27.03/16.36
27.03/16.38
27.03/16.38 Solver
27.03/16.38 guaranteedGAC=true
27.03/16.38 wck=14.54, cpu=12.945, mem=2056M634
27.03/16.40
27.03/16.40 Preprocessing
27.03/16.40 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
27.03/16.40 wck=0.014, cpu=12.96, mem=2056M634
27.03/16.40
27.24/16.45 num=0, depth=2..2, filters=270, wck=0.061, mem=2056M634
27.24/16.45 decisions=22, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
27.24/16.45 nFilterCalls=1879, avgTableProportion=0.9999732075875851, avgTableSize=37323.0
27.24/16.45
27.54/16.51 num=1, depth=1..2, filters=508, wck=0.128, mem=2056M634
27.54/16.51 decisions=47, wrong=22, backtracks=1, failedAssignments=21, nogoods=11
27.54/16.51 nFilterCalls=4197, avgTableProportion=0.9999732075875783, avgTableSize=37323.0
27.54/16.51
27.54/16.58 num=2, depth=2..3, filters=814, wck=0.195, mem=2056M634
27.54/16.58 decisions=75, wrong=35, backtracks=2, failedAssignments=33, nogoods=23
27.54/16.58 nFilterCalls=7748, avgTableProportion=0.9999732075875757, avgTableSize=37323.0
27.54/16.58
27.70/16.64 num=3, depth=1..3, filters=1171, wck=0.253, mem=2056M634
27.70/16.64 decisions=106, wrong=50, backtracks=4, failedAssignments=46, nogoods=24
27.70/16.64 nFilterCalls=11931, avgTableProportion=0.9999732075878597, avgTableSize=37323.0
27.70/16.64
27.81/16.73 num=4, depth=1..2, filters=1560, wck=0.344, mem=2056M634
27.81/16.73 decisions=140, wrong=66, backtracks=6, failedAssignments=60, nogoods=27
27.81/16.73 nFilterCalls=17032, avgTableProportion=0.999973207588046, avgTableSize=37323.0
27.81/16.73
27.93/16.81 num=5, depth=2..3, filters=1942, wck=0.423, mem=2056M634
27.93/16.81 decisions=176, wrong=83, backtracks=7, failedAssignments=76, nogoods=43
27.93/16.81 nFilterCalls=22561, avgTableProportion=0.9999732075881529, avgTableSize=37323.0
27.93/16.81
27.93/16.89 num=6, depth=1..2, filters=2362, wck=0.501, mem=2056M634
27.93/16.89 decisions=214, wrong=101, backtracks=8, failedAssignments=93, nogoods=51
27.93/16.89 nFilterCalls=26815, avgTableProportion=0.9999732075882052, avgTableSize=37323.0
27.93/16.89
28.04/16.95 num=7, depth=1..2, filters=2736, wck=0.566, mem=2056M634
28.04/16.95 decisions=256, wrong=121, backtracks=9, failedAssignments=112, nogoods=60
28.04/16.95 nFilterCalls=30964, avgTableProportion=0.9999732075882423, avgTableSize=37323.0
28.04/16.95
28.16/17.08 num=8, depth=1..3, filters=3360, wck=0.694, mem=2056M634
28.16/17.08 decisions=306, wrong=145, backtracks=12, failedAssignments=133, nogoods=67
28.16/17.08 nFilterCalls=40781, avgTableProportion=0.9999732075883, avgTableSize=37323.0
28.16/17.08
28.27/17.13 num=9, depth=1..2, filters=3793, wck=0.744, mem=2056M634
28.27/17.13 decisions=358, wrong=170, backtracks=14, failedAssignments=156, nogoods=72
28.27/17.13 nFilterCalls=45640, avgTableProportion=0.9999732075883194, avgTableSize=37323.0
28.27/17.13
28.36/17.28 num=10, depth=1..3, filters=4468, wck=0.892, mem=2064M63
28.36/17.28 decisions=414, wrong=197, backtracks=16, failedAssignments=181, nogoods=81
28.36/17.28 nFilterCalls=54364, avgTableProportion=0.9999732075883455, avgTableSize=37323.0
28.36/17.28
28.58/17.48 num=11, depth=1..3, filters=5343, wck=1.095, mem=2064M63
28.58/17.48 decisions=478, wrong=228, backtracks=19, failedAssignments=209, nogoods=85
28.58/17.48 nFilterCalls=67219, avgTableProportion=0.9999732075881896, avgTableSize=37323.0
28.58/17.48
28.69/17.59 num=12, depth=1..2, filters=6104, wck=1.204, mem=2064M63
28.69/17.59 decisions=548, wrong=262, backtracks=22, failedAssignments=240, nogoods=93
28.69/17.59 nFilterCalls=74926, avgTableProportion=0.9999732075874713, avgTableSize=37323.0
28.69/17.59
29.01/17.80 num=13, depth=1..3, filters=6985, wck=1.414, mem=2064M63
29.01/17.80 decisions=624, wrong=299, backtracks=25, failedAssignments=274, nogoods=102
29.01/17.80 nFilterCalls=87511, avgTableProportion=0.9999732075865703, avgTableSize=37323.0
29.01/17.80
29.14/17.90 num=14, depth=1..3, filters=7718, wck=1.52, mem=2064M63
29.14/17.90 decisions=708, wrong=340, backtracks=29, failedAssignments=311, nogoods=114
29.14/17.90 nFilterCalls=97594, avgTableProportion=0.9999732075860162, avgTableSize=37323.0
29.14/17.90
29.36/18.13 num=15, depth=1..3, filters=8800, wck=1.743, mem=2064M63
29.36/18.13 decisions=800, wrong=385, backtracks=34, failedAssignments=352, nogoods=121
29.36/18.13 nFilterCalls=111180, avgTableProportion=0.9999732075854284, avgTableSize=37323.0
29.36/18.13
29.46/18.29 num=16, depth=1..2, filters=9908, wck=1.907, mem=2064M63
29.46/18.29 decisions=905, wrong=437, backtracks=41, failedAssignments=397, nogoods=128
29.46/18.29 nFilterCalls=123410, avgTableProportion=0.99997320758501, avgTableSize=37323.0
29.46/18.29
29.88/18.61 num=17, depth=1..2, filters=11334, wck=2.228, mem=2064M63
29.88/18.61 decisions=1017, wrong=492, backtracks=46, failedAssignments=447, nogoods=137
29.88/18.61 nFilterCalls=141293, avgTableProportion=0.9999732075855807, avgTableSize=37323.0
29.88/18.61
30.09/18.86 num=18, depth=1..2, filters=12804, wck=2.479, mem=2064M63
30.09/18.86 decisions=1141, wrong=553, backtracks=52, failedAssignments=502, nogoods=149
30.09/18.86 nFilterCalls=159456, avgTableProportion=0.99997320758674, avgTableSize=37323.0
30.09/18.86
30.46/19.16 num=19, depth=0..3, filters=14406, wck=2.78, mem=2064M63
30.46/19.16 decisions=1295, wrong=629, backtracks=68, failedAssignments=563, nogoods=161
30.46/19.16 nFilterCalls=181186, avgTableProportion=0.9999732075878216, avgTableSize=37323.0
30.46/19.16
30.66/19.39 num=20, depth=1..2, filters=15952, wck=3.003, mem=2064M63
30.66/19.39 decisions=1443, wrong=702, backtracks=74, failedAssignments=630, nogoods=174
30.66/19.39 nFilterCalls=199217, avgTableProportion=0.9999732075885399, avgTableSize=37323.0
30.66/19.39
30.97/19.69 num=21, depth=1..3, filters=17676, wck=3.301, mem=2064M63
30.97/19.69 decisions=1609, wrong=784, backtracks=82, failedAssignments=704, nogoods=186
30.97/19.69 nFilterCalls=220362, avgTableProportion=0.9999732075892326, avgTableSize=37323.0
30.97/19.69
31.38/20.07 num=22, depth=0..2, filters=19929, wck=3.689, mem=2064M63
31.38/20.07 decisions=1801, wrong=879, backtracks=97, failedAssignments=785, nogoods=191
31.38/20.07 nFilterCalls=248361, avgTableProportion=0.9999732075899682, avgTableSize=37323.0
31.38/20.07
31.77/20.45 num=23, depth=0..2, filters=21966, wck=4.062, mem=2064M63
31.77/20.45 decisions=2009, wrong=982, backtracks=112, failedAssignments=874, nogoods=196
31.77/20.45 nFilterCalls=274839, avgTableProportion=0.9999732075905259, avgTableSize=37323.0
31.77/20.45
32.07/20.74 num=24, depth=1..2, filters=24032, wck=4.355, mem=2064M63
32.07/20.74 decisions=2228, wrong=1091, backtracks=123, failedAssignments=972, nogoods=209
32.07/20.74 nFilterCalls=300070, avgTableProportion=0.9999732075909659, avgTableSize=37323.0
32.07/20.74
32.48/21.15 num=25, depth=0..3, filters=26692, wck=4.767, mem=2064M63
32.48/21.15 decisions=2478, wrong=1215, backtracks=140, failedAssignments=1080, nogoods=218
32.48/21.15 nFilterCalls=332463, avgTableProportion=0.9999732075914328, avgTableSize=37323.0
32.48/21.15
33.09/21.73 num=26, depth=0..2, filters=29942, wck=5.348, mem=2064M63
33.09/21.73 decisions=2756, wrong=1353, backtracks=161, failedAssignments=1199, nogoods=220
33.09/21.73 nFilterCalls=373857, avgTableProportion=0.9999732075919117, avgTableSize=37323.0
33.09/21.73
33.60/22.22 num=27, depth=0..3, filters=33054, wck=5.836, mem=2064M63
33.60/22.22 decisions=3049, wrong=1499, backtracks=178, failedAssignments=1330, nogoods=224
33.60/22.22 nFilterCalls=409275, avgTableProportion=0.9999732075922445, avgTableSize=37323.0
33.60/22.22
34.12/22.70 num=28, depth=0..2, filters=36176, wck=6.32, mem=2064M63
34.12/22.70 decisions=3372, wrong=1660, backtracks=196, failedAssignments=1474, nogoods=228
34.12/22.70 nFilterCalls=448457, avgTableProportion=0.9999732075925516, avgTableSize=37323.0
34.12/22.70
34.62/23.27 num=29, depth=0..3, filters=40111, wck=6.882, mem=2064M63
34.62/23.27 decisions=3740, wrong=1843, backtracks=223, failedAssignments=1632, nogoods=240
34.62/23.27 nFilterCalls=494127, avgTableProportion=0.9999732075928479, avgTableSize=37323.0
34.62/23.27
35.32/23.97 num=30, depth=0..3, filters=44718, wck=7.585, mem=2064M63
35.32/23.97 decisions=4155, wrong=2050, backtracks=258, failedAssignments=1806, nogoods=256
35.32/23.97 nFilterCalls=548848, avgTableProportion=0.999973207593138, avgTableSize=37323.0
35.32/23.97
36.02/24.60 num=31, depth=0..2, filters=49131, wck=8.213, mem=2064M63
36.02/24.60 decisions=4611, wrong=2277, backtracks=297, failedAssignments=1997, nogoods=264
36.02/24.60 nFilterCalls=604958, avgTableProportion=0.9999732075933809, avgTableSize=37323.0
36.02/24.60
36.73/25.31 num=32, depth=0..2, filters=53577, wck=8.921, mem=2064M63
36.73/25.31 decisions=5105, wrong=2523, backtracks=336, failedAssignments=2208, nogoods=268
36.73/25.31 nFilterCalls=665701, avgTableProportion=0.9999732075935979, avgTableSize=37323.0
36.73/25.31
37.34/25.95 num=33, depth=0..2, filters=58168, wck=9.567, mem=2064M63
37.34/25.95 decisions=5585, wrong=2764, backtracks=388, failedAssignments=2406, nogoods=268
37.34/25.95 nFilterCalls=726186, avgTableProportion=0.9999732075937778, avgTableSize=37323.0
37.34/25.95
37.34/25.95 Global
37.34/25.95 filters=58168, nogoods=268
37.34/25.95 Stop=FULL_EXPLORATION, wrong=2764, wck=24.108, cpu=22.51, mem=2064M63
37.34/25.95
37.34/25.95 s UNSATISFIABLE
37.34/25.95
37.34/25.95 d WRONG_DECISIONS 2764
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 (14427 MiB free)
memory of node 1: 16384 MiB (15647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390604-1568380522/watcher-4390604-1568380522 -o /tmp/evaluation-result-4390604-1568380522/solver-4390604-1568380522 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568380471-32431 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390604-1568380522.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=32557, runsolver pid=32554
[startup+0.101234 s]*
/proc/loadavg: 0.31 0.08 0.07 4/230 32572
/proc/meminfo: memFree=30782436/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10659884 memory=29528 CPUtime=0.14 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 5820 0 0 0 13 1 0 0 20 0 15 0 414301003 10915721216 7382 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2664971 7382 2917 1 0 2627468 0
[pid=32557/tid=32559] ppid=32554 vsize=10659884 memory=-8125511277465211774 CPUtime=0.09 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) R 32554 32557 32400 0 -1 4202560 3216 0 0 0 9 0 0 0 20 0 15 0 414301003 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062628816904 140062616824638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301005 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301006 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062182643360 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301006 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062181590256 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) R 32554 32557 32400 0 -1 4202560 374 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062179485936 140062616876893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) R 32554 32557 32400 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0.02 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) R 32554 32557 32400 0 -1 4202560 712 0 0 0 2 0 0 0 20 0 15 0 414301008 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062177376504 140062603986027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301009 10915721216 7382 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29528 KiB
[startup+0.210649 s]*
/proc/loadavg: 0.31 0.08 0.07 3/230 32572
/proc/meminfo: memFree=30776172/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10659884 memory=35160 CPUtime=0.32 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 6890 0 0 0 31 1 0 0 20 0 15 0 414301003 10915721216 8790 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2664971 8790 2988 1 0 2627468 0
[pid=32557/tid=32559] ppid=32554 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) R 32554 32557 32400 0 -1 4202560 3857 0 0 0 19 1 0 0 20 0 15 0 414301003 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062628813872 140062624609437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10659884 memory=288370324413437568 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301005 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301006 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062182643360 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301006 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062181590256 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) S 32554 32557 32400 0 -1 1077944384 497 0 0 0 3 0 0 0 20 0 15 0 414301008 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062179485936 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) S 32554 32557 32400 0 -1 1077944384 416 0 0 0 3 0 0 0 20 0 15 0 414301008 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0.05 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 761 0 0 0 5 0 0 0 20 0 15 0 414301008 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301009 10915721216 8790 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35160 KiB
[startup+0.310262 s]*
/proc/loadavg: 0.31 0.08 0.07 3/230 32572
/proc/meminfo: memFree=30767804/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10659884 memory=40540 CPUtime=0.48 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 9433 0 0 0 45 3 0 0 20 0 15 0 414301003 10915721216 10135 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2664971 10135 3001 1 0 2627468 0
[pid=32557/tid=32559] ppid=32554 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) R 32554 32557 32400 0 -1 4202560 6321 0 0 0 28 2 0 0 20 0 15 0 414301003 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062628808400 140062624609437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10659884 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10659884 memory=288370324413437568 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301004 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301005 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301006 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062182643360 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301006 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062181590256 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) R 32554 32557 32400 0 -1 4202560 532 0 0 0 4 0 0 0 20 0 15 0 414301008 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062179477440 140062608086466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) R 32554 32557 32400 0 -1 1077944384 424 0 0 0 4 0 0 0 20 0 15 0 414301008 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062178433488 140062624597717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0.08 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 414301008 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10659884 memory=139948261725824 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301009 10915721216 10135 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40540 KiB
[startup+0.703033 s]
/proc/loadavg: 0.31 0.08 0.07 3/230 32572
/proc/meminfo: memFree=30760144/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10661932 memory=62548 CPUtime=1.09 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 12736 0 0 0 104 5 0 0 20 0 15 0 414301003 10917818368 15637 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2665483 15637 3070 1 0 2627980 0
[pid=32557/tid=32559] ppid=32554 vsize=10661932 memory=1428 CPUtime=0.68 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) R 32554 32557 32400 0 -1 4202560 8879 0 0 0 64 4 0 0 20 0 15 0 414301003 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062628813392 140062606152096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10661932 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10661932 memory=10472 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301004 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10661932 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301005 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10661932 memory=5260 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414301006 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062182643360 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10661932 memory=636 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414301006 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062181590256 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10661932 memory=7089886620845893184 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10661932 memory=8170745150040658258 CPUtime=0.1 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) R 32554 32557 32400 0 -1 4202560 772 0 0 0 10 0 0 0 20 0 15 0 414301008 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062179472032 140062603834106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10661932 memory=5865188000529146989 CPUtime=0.09 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) S 32554 32557 32400 0 -1 1077944384 582 0 0 0 9 0 0 0 20 0 15 0 414301008 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 1144 0 0 0 18 0 0 0 20 0 15 0 414301008 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414301008 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301009 10917818368 15637 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62548 KiB
[startup+1.50079 s]
/proc/loadavg: 0.31 0.08 0.07 3/230 32572
/proc/meminfo: memFree=30744064/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10663980 memory=74912 CPUtime=1.99 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 18287 0 0 0 192 7 0 0 20 0 15 0 414301003 10919915520 18728 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2665995 18728 3097 1 0 2628492 0
[pid=32557/tid=32559] ppid=32554 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) R 32554 32557 32400 0 -1 4202560 13150 0 0 0 143 5 0 0 20 0 15 0 414301003 10919915520 18728 33554432000 4194304 4196468 140736225917696 140062628819536 140062604859248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10663980 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10919915520 18728 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10663980 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10919915520 18728 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414301004 10919915520 18728 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414301004 10919915520 18728 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414301005 10919915520 18728 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
################
# More data... #
################
[pid=32557/tid=32560] ppid=32554 vsize=10746276 memory=3003200 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 4474 0 0 0 231 44 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10746276 memory=3003224 CPUtime=2.76 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 3313 0 0 0 232 44 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10746276 memory=3003200 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 5213 0 0 0 233 42 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10746276 memory=2737 CPUtime=2.77 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 4024 0 0 0 231 46 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10746276 memory=2768 CPUtime=0.64 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 6701 0 0 0 63 1 0 0 20 0 16 0 414301005 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10746276 memory=3003224 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062182643424 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10746276 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062181590272 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10746276 memory=38076 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10746276 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) S 32554 32557 32400 0 -1 1077944384 5110 0 0 0 130 1 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062179485936 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10746276 memory=-7419323442021099869 CPUtime=1.15 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) S 32554 32557 32400 0 -1 1077944384 3262 0 0 0 115 0 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10746276 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 4539 0 0 0 66 1 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10746276 memory=7881701121694265195 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10746276 memory=56 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414301009 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32574] ppid=32554 vsize=10746276 memory=-7522837583129502606 CPUtime=20.17 cores=0,2,4,6
/proc/32557/task/32574/stat : 32574 (java) R 32554 32557 32400 0 -1 4202560 9649 0 0 0 1997 20 0 0 20 0 16 0 414301190 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062090997664 140062262192000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 36.93 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3003224 KiB
[startup+25.9775 s]
# the end of solver process 32557 was just reported to runsolver
# cumulated CPU time of all completed processes: user=35.2887 s, system=2.13272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 0.93 0.25 0.12 3/229 32574
/proc/meminfo: memFree=27727764/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10746276 memory=3003224 CPUtime=37.03 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 63166 0 0 0 3492 211 0 0 20 0 16 0 414301003 11004186624 750806 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2686569 750806 3373 1 0 2646705 0
[pid=32557/tid=32559] ppid=32554 vsize=10746276 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) S 32554 32557 32400 0 -1 1077944384 15389 0 0 0 180 6 0 0 20 0 16 0 414301003 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062628830384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10746276 memory=186 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 4474 0 0 0 231 44 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10746276 memory=40 CPUtime=2.76 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 3313 0 0 0 232 44 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10746276 memory=42 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 5213 0 0 0 233 42 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10746276 memory=41 CPUtime=2.77 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 4024 0 0 0 231 46 0 0 20 0 16 0 414301004 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10746276 memory=42 CPUtime=0.64 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 6701 0 0 0 63 1 0 0 20 0 16 0 414301005 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062182643424 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062181590272 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10746276 memory=3003224 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10746276 memory=1 CPUtime=1.31 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) S 32554 32557 32400 0 -1 1077944384 5110 0 0 0 130 1 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062179485936 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10746276 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) S 32554 32557 32400 0 -1 1077944384 3262 0 0 0 115 0 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10746276 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 4539 0 0 0 66 1 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10746276 memory=3170 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10746276 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414301009 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32574] ppid=32554 vsize=10746276 memory=3002936 CPUtime=20.27 cores=0,2,4,6
/proc/32557/task/32574/stat : 32574 (java) R 32554 32557 32400 0 -1 4202560 9649 0 0 0 2007 20 0 0 20 0 16 0 414301190 11004186624 750806 33554432000 4194304 4196468 140736225917696 140062090997664 140062262191309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 37.03 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3003224 KiB
[startup+25.8008 s]
/proc/loadavg: 0.93 0.25 0.12 3/229 32574
/proc/meminfo: memFree=27727764/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10746276 memory=3003228 CPUtime=37.24 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 63338 0 0 0 3513 211 0 0 20 0 16 0 414301003 11004186624 750807 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2686569 750807 3373 1 0 2646705 0
[pid=32557/tid=32559] ppid=32554 vsize=10746276 memory=139948154413553 CPUtime=1.86 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) S 32554 32557 32400 0 -1 1077944384 15389 0 0 0 180 6 0 0 20 0 16 0 414301003 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062628830384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10746276 memory=7305493158969699183 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 4474 0 0 0 231 44 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10746276 memory=7595719273245663827 CPUtime=2.76 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 3313 0 0 0 232 44 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10746276 memory=7158016897008362088 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 5213 0 0 0 233 42 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10746276 memory=7523352583447670123 CPUtime=2.77 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 4024 0 0 0 231 46 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10746276 memory=38076 CPUtime=0.64 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 6701 0 0 0 63 1 0 0 20 0 16 0 414301005 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10746276 memory=988 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062182643424 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10746276 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062181590272 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10746276 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10746276 memory=776 CPUtime=1.31 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) S 32554 32557 32400 0 -1 1077944384 5112 0 0 0 130 1 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062179485936 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10746276 memory=4008 CPUtime=1.15 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) S 32554 32557 32400 0 -1 1077944384 3262 0 0 0 115 0 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10746276 memory=1244 CPUtime=0.67 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 4539 0 0 0 66 1 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10746276 memory=10472 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414301009 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32574] ppid=32554 vsize=10746276 memory=22084 CPUtime=20.47 cores=0,2,4,6
/proc/32557/task/32574/stat : 32574 (java) R 32554 32557 32400 0 -1 4202560 9819 0 0 0 2027 20 0 0 20 0 16 0 414301190 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062091003656 140062262190135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 37.24 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3003228 KiB
[startup+25.9008 s]
/proc/loadavg: 0.93 0.25 0.12 3/229 32574
/proc/meminfo: memFree=27727764/32770624 swapFree=67001888/67108860
[pid=32557] ppid=32554 vsize=10746276 memory=3003228 CPUtime=37.34 cores=0,2,4,6
/proc/32557/stat : 32557 (java) S 32554 32557 32400 0 -1 1077944320 63340 0 0 0 3523 211 0 0 20 0 16 0 414301003 11004186624 750807 33554432000 4194304 4196468 140736225917696 140736225900240 140062624587511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
/proc/32557/statm: 2686569 750807 3373 1 0 2646705 0
[pid=32557/tid=32559] ppid=32554 vsize=10746276 memory=3003200 CPUtime=1.86 cores=0,2,4,6
/proc/32557/task/32559/stat : 32559 (java) S 32554 32557 32400 0 -1 1077944384 15389 0 0 0 180 6 0 0 20 0 16 0 414301003 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062628830384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32560] ppid=32554 vsize=10746276 memory=3003224 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (java) S 32554 32557 32400 0 -1 1077944384 4474 0 0 0 231 44 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062577207824 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32561] ppid=32554 vsize=10746276 memory=3003224 CPUtime=2.76 cores=0,2,4,6
/proc/32557/task/32561/stat : 32561 (java) S 32554 32557 32400 0 -1 1077944384 3313 0 0 0 232 44 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062576155280 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32562] ppid=32554 vsize=10746276 memory=2737 CPUtime=2.75 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (java) S 32554 32557 32400 0 -1 1077944384 5213 0 0 0 233 42 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062229190928 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32563] ppid=32554 vsize=10746276 memory=56 CPUtime=2.77 cores=0,2,4,6
/proc/32557/task/32563/stat : 32563 (java) S 32554 32557 32400 0 -1 1077944384 4024 0 0 0 231 46 0 0 20 0 16 0 414301004 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062228138384 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32564] ppid=32554 vsize=10746276 memory=-7522837583129502606 CPUtime=0.64 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (java) S 32554 32557 32400 0 -1 1077944384 6701 0 0 0 63 1 0 0 20 0 16 0 414301005 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062183697136 140062624598658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32565] ppid=32554 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32565/stat : 32565 (java) S 32554 32557 32400 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062182643424 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32566] ppid=32554 vsize=10746276 memory=-7419323442021099869 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32566/stat : 32566 (java) S 32554 32557 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414301006 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062181590272 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32567] ppid=32554 vsize=10746276 memory=56 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32567/stat : 32567 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062180538832 140062624606107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32568] ppid=32554 vsize=10746276 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/32557/task/32568/stat : 32568 (java) S 32554 32557 32400 0 -1 1077944384 5112 0 0 0 130 1 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062179485936 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32569] ppid=32554 vsize=10746276 memory=279896308168816 CPUtime=1.15 cores=0,2,4,6
/proc/32557/task/32569/stat : 32569 (java) S 32554 32557 32400 0 -1 1077944384 3262 0 0 0 115 0 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062178433392 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32570] ppid=32554 vsize=10746276 memory=7091600879952416868 CPUtime=0.67 cores=0,2,4,6
/proc/32557/task/32570/stat : 32570 (java) S 32554 32557 32400 0 -1 1077944384 4539 0 0 0 66 1 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062177380336 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32571] ppid=32554 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32571/stat : 32571 (java) S 32554 32557 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414301008 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062176328032 140062624597717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32572] ppid=32554 vsize=10746276 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32572/stat : 32572 (java) S 32554 32557 32400 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414301009 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062175276080 140062624598658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
[pid=32557/tid=32574] ppid=32554 vsize=10746276 memory=0 CPUtime=20.57 cores=0,2,4,6
/proc/32557/task/32574/stat : 32574 (java) R 32554 32557 32400 0 -1 4202560 9821 0 0 0 2037 20 0 0 20 0 16 0 414301190 11004186624 750807 33554432000 4194304 4196468 140736225917696 140062091003656 140062262191131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8916992 140736225924107 140736225924210 140736225924210 140736225927119 0
Current children cumulated CPU time: 37.34 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3003228 KiB
Child status: 0
Real time (s): 25.9776
CPU time (s): 37.4214
CPU user time (s): 35.2887
CPU system time (s): 2.13272
CPU usage (%): 144.053
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 3003228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.2887
system time used= 2.13272
maximum resident set size= 3003584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4095
involuntary context switches= 169
# summary of solver processes directly reported to runsolver:
# pid: 32557
# total CPU time (s): 37.4214
# total CPU user time (s): 35.2887
# total CPU system time (s): 2.13272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16907 second user time and 0.30937 second system time
The end