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 (13850 MiB free)
memory of node 1: 16384 MiB (15251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401013-1568675842/watcher-4401013-1568675842 -o /tmp/evaluation-result-4401013-1568675842/solver-4401013-1568675842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1342979146 HOME/instance-4401013-1568675842.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19053, runsolver pid=19050
[startup+0.110203 s]*
/proc/loadavg: 1.80 1.40 1.43 3/218 19111
/proc/meminfo: memFree=29790844/32770624 swapFree=66926472/67108860
[pid=19053] ppid=19050 vsize=10355560 memory=22680 CPUtime=0.1 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 4917 13108 0 0 2 0 5 3 20 0 9 0 443840008 10604093440 5670 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2588890 5670 2102 1 0 2551431 0
[pid=19053/tid=19106] ppid=19050 vsize=10355560 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 2691 13108 0 0 1 0 5 3 20 0 9 0 443840017 10604093440 5670 33554432000 4194304 4196468 140723089540624 140701449408368 140701461652830 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 9 0 443840018 10604093440 5670 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10355560 memory=140620094520952 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 9 0 443840018 10604093440 5670 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 9 0 443840018 10604093440 5670 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 9 0 443840018 10604093440 5670 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 9 0 443840019 10604093440 5670 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 9 0 443840020 10604093440 5670 33554432000 4194304 4196468 140723089540624 140700914017952 140701477582549 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 9 0 443840020 10604093440 5670 33554432000 4194304 4196468 140723089540624 140700310037808 140701477582549 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22680 KiB
[startup+0.21011 s]*
/proc/loadavg: 1.80 1.40 1.43 3/226 19119
/proc/meminfo: memFree=29767540/32770624 swapFree=66926472/67108860
[pid=19053] ppid=19050 vsize=10823808 memory=44488 CPUtime=0.27 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 8080 13108 0 0 18 1 5 3 20 0 15 0 443840008 11083579392 11122 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2705952 11122 3305 1 0 2668052 0
[pid=19053/tid=19106] ppid=19050 vsize=10823808 memory=720575944405811505 CPUtime=0.2 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 4857 13108 0 0 11 1 5 3 20 0 15 0 443840017 11083579392 11452 33554432000 4194304 4196468 140723089540624 140701449384704 140701470252061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11083579392 11452 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10823808 memory=140620094520952 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11083579392 11452 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11083579392 11452 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 443840018 11083579392 11518 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 443840019 11083579392 11518 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11083579392 11518 33554432000 4194304 4196468 140723089540624 140700914017952 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840020 11083579392 11518 33554432000 4194304 4196468 140723089540624 140700310037744 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11083579392 11518 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10823808 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 368 13108 0 0 1 0 5 3 20 0 15 0 443840023 11083579392 11518 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10823808 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 282 13108 0 0 1 0 5 3 20 0 15 0 443840023 11083579392 11518 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10823808 memory=140620094502528 CPUtime=0.11 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 619 13108 0 0 3 0 5 3 20 0 15 0 443840023 11083579392 11518 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11083579392 11518 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10823808 memory=140620094502528 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840023 11083579392 11518 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10823808 KiB
Current children cumulated memory: 44488 KiB
[startup+0.310373 s]*
/proc/loadavg: 1.80 1.40 1.43 3/226 19119
/proc/meminfo: memFree=29747884/32770624 swapFree=66926472/67108860
[pid=19053] ppid=19050 vsize=10820196 memory=50660 CPUtime=0.41 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 10909 13108 0 0 30 3 5 3 20 0 15 0 443840008 11079880704 12665 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2705049 12665 3315 1 0 2667149 0
[pid=19053/tid=19106] ppid=19050 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 7393 13108 0 0 19 2 5 3 20 0 15 0 443840017 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701449390432 140701461652830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10820196 memory=-6957061461084680038 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10820196 memory=1398720917958146503 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 443840018 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 443840019 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11079880704 12665 33554432000 4194304 4196468 140723089540624 140700914017952 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840020 11079880704 12665 33554432000 4194304 4196468 140723089540624 140700310037744 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11079880704 12665 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 369 13108 0 0 2 0 5 3 20 0 15 0 443840023 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 282 13108 0 0 1 0 5 3 20 0 15 0 443840023 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10820196 memory=140620094502528 CPUtime=0.13 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 627 13108 0 0 5 0 5 3 20 0 15 0 443840023 11079880704 12665 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11079880704 12665 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10820196 memory=140620094502528 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840023 11079880704 12665 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50660 KiB
[startup+0.700854 s]
/proc/loadavg: 1.80 1.40 1.43 3/226 19119
/proc/meminfo: memFree=29714304/32770624 swapFree=66926472/67108860
[pid=19053] ppid=19050 vsize=10825388 memory=83688 CPUtime=1.15 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 15128 13108 0 0 102 5 5 3 20 0 15 0 443840008 11085197312 20922 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2706347 20922 3510 1 0 2668429 0
[pid=19053/tid=19106] ppid=19050 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 10597 13108 0 0 56 3 5 3 20 0 15 0 443840017 11084148736 20942 33554432000 4194304 4196468 140723089540624 140701449390272 140701470251565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11084148736 20942 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11084148736 20942 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840018 11085197312 20942 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 443840018 11085197312 20942 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10825388 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 5 13108 0 0 0 0 5 3 20 0 15 0 443840019 11085197312 20942 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10825388 memory=8076 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11085197312 20942 33554432000 4194304 4196468 140723089540624 140700914017952 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10824364 memory=4008 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840020 11084148736 20942 33554432000 4194304 4196468 140723089540624 140700310037744 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10824364 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11084148736 20942 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10825388 memory=2832 CPUtime=0.22 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) R 19050 19053 18141 0 -1 4202560 781 13108 0 0 14 0 5 3 20 0 15 0 443840023 11085197312 20942 33554432000 4194304 4196468 140723089540624 140701003081968 140701462687451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10825388 memory=984 CPUtime=0.21 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 731 13108 0 0 13 0 5 3 20 0 15 0 443840023 11085197312 20942 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10825388 memory=14012 CPUtime=0.25 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 808 13108 0 0 17 0 5 3 20 0 15 0 443840023 11085197312 20942 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10825388 memory=10716 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11085197312 20942 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10825388 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840023 11085197312 20942 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 83688 KiB
[startup+1.50072 s]
/proc/loadavg: 1.80 1.40 1.43 4/226 19119
/proc/meminfo: memFree=29624768/32770624 swapFree=66926472/67108860
[pid=19053] ppid=19050 vsize=10834680 memory=173416 CPUtime=2.49 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 21725 13108 0 0 232 9 5 3 20 0 15 0 443840008 11094712320 43354 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2708670 43354 3578 1 0 2670733 0
[pid=19053/tid=19106] ppid=19050 vsize=10834680 memory=116 CPUtime=1.44 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 15399 13108 0 0 131 5 5 3 20 0 15 0 443840017 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701449372704 140701065096324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 35 13108 0 0 1 0 5 3 20 0 15 0 443840018 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10834680 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 44 13108 0 0 1 0 5 3 20 0 15 0 443840018 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10834680 memory=-7812193691855998918 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 354 13108 0 0 0 0 5 3 20 0 15 0 443840018 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10834680 memory=8764446273926488160 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 61 13108 0 0 1 0 5 3 20 0 15 0 443840018 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10834680 memory=-7737605734073681312 CPUtime=0.09 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 137 13108 0 0 1 0 5 3 20 0 15 0 443840019 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 15 13108 0 0 0 0 5 3 20 0 15 0 443840020 11094712320 43354 33554432000 4194304 4196468 140723089540624 140700914018016 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10834680 memory=7963917143609059915 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 443840020 11094712320 43354 33554432000 4194304 4196468 140723089540624 140700310037760 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10834680 memory=4426066961269356074 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11094712320 43354 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10834680 memory=-8412652152329899379 CPUtime=0.34 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 941 13108 0 0 26 0 5 3 20 0 15 0 443840023 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10834680 memory=8254383616069825415 CPUtime=0.34 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 916 13108 0 0 26 0 5 3 20 0 15 0 443840023 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10834680 memory=8326441112148417183 CPUtime=0.5 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) R 19050 19053 18141 0 -1 4202560 1609 13108 0 0 42 0 5 3 20 0 15 0 443840023 11094712320 43354 33554432000 4194304 4196468 140723089540624 140701000976368 140701461652830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
################
# More data... #
################
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 135217 13108 0 0 235648 67 5 3 20 0 15 0 443840017 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701449408752 140701069353369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10846988 memory=490664 CPUtime=15.15 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 24645 13108 0 0 1447 60 5 3 20 0 15 0 443840018 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10846988 memory=505528 CPUtime=15.13 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 19455 13108 0 0 1444 61 5 3 20 0 15 0 443840018 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10846988 memory=523996 CPUtime=15.13 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 24914 13108 0 0 1445 60 5 3 20 0 15 0 443840018 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10846988 memory=2016 CPUtime=15.15 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 17671 13108 0 0 1449 58 5 3 20 0 15 0 443840018 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10846988 memory=507580 CPUtime=7.29 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 16682 13108 0 0 647 74 5 3 20 0 15 0 443840019 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10846988 memory=510656 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 19 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 126001 33554432000 4194304 4196468 140723089540624 140700914018016 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10846988 memory=506040 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 126001 33554432000 4194304 4196468 140723089540624 140700310037760 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10846988 memory=506040 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11107315712 126001 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10846988 memory=504516 CPUtime=5.74 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 13645 13108 0 0 564 2 5 3 20 0 15 0 443840023 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10846988 memory=505012 CPUtime=5.6 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 16174 13108 0 0 549 3 5 3 20 0 15 0 443840023 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10846988 memory=3232 CPUtime=2.16 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 9191 13108 0 0 206 2 5 3 20 0 15 0 443840023 11107315712 126001 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10846988 memory=896 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11107315712 126001 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10846988 memory=1984 CPUtime=1.48 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 945 13108 0 0 61 79 5 3 20 0 15 0 443840023 11107315712 126001 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 2439.46 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 504004 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.38 1.38 3/226 19473
/proc/meminfo: memFree=29120912/32770624 swapFree=66926500/67108860
[pid=19053] ppid=19050 vsize=10846988 memory=518832 CPUtime=2500.7 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 286153 13108 0 0 249629 433 5 3 20 0 15 0 443840008 11107315712 129708 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2711747 129708 3628 1 0 2673805 0
[pid=19053/tid=19106] ppid=19050 vsize=10846988 memory=504004 CPUtime=2416.53 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 138148 13108 0 0 241576 69 5 3 20 0 15 0 443840017 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701449408672 140701075192083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10846988 memory=495228 CPUtime=15.57 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 25226 13108 0 0 1488 61 5 3 20 0 15 0 443840018 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10846988 memory=492232 CPUtime=15.56 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 19816 13108 0 0 1485 63 5 3 20 0 15 0 443840018 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10846988 memory=1164 CPUtime=15.56 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 25623 13108 0 0 1487 61 5 3 20 0 15 0 443840018 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10846988 memory=496260 CPUtime=15.58 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 18268 13108 0 0 1490 60 5 3 20 0 15 0 443840018 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10846988 memory=515368 CPUtime=7.48 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 16843 13108 0 0 663 77 5 3 20 0 15 0 443840019 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10846988 memory=518832 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 19 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 129708 33554432000 4194304 4196468 140723089540624 140700914018016 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10846988 memory=485580 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 129708 33554432000 4194304 4196468 140723089540624 140700310037760 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10846988 memory=496260 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11107315712 129708 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10846988 memory=1091728 CPUtime=5.74 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 13648 13108 0 0 564 2 5 3 20 0 15 0 443840023 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10846988 memory=499852 CPUtime=5.6 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 16176 13108 0 0 549 3 5 3 20 0 15 0 443840023 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10846988 memory=1541 CPUtime=2.16 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 9193 13108 0 0 206 2 5 3 20 0 15 0 443840023 11107315712 129708 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10846988 memory=516784 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11107315712 129708 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10846988 memory=776 CPUtime=1.52 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 963 13108 0 0 63 81 5 3 20 0 15 0 443840023 11107315712 129708 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 2500.7 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 518832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.3 s]
/proc/loadavg: 1.43 1.40 1.39 3/226 19476
/proc/meminfo: memFree=29161368/32770624 swapFree=66926500/67108860
[pid=19053] ppid=19050 vsize=10846988 memory=501476 CPUtime=2520.08 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 290087 13108 0 0 251565 435 5 3 20 0 15 0 443840008 11107315712 125369 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2711747 125369 3628 1 0 2673805 0
[pid=19053/tid=19106] ppid=19050 vsize=10846988 memory=502500 CPUtime=2435.31 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 140966 13108 0 0 243454 69 5 3 20 0 15 0 443840017 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701449408320 140701083052727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10846988 memory=505556 CPUtime=15.71 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 25422 13108 0 0 1501 62 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10846988 memory=8076 CPUtime=15.69 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 20179 13108 0 0 1498 63 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10846988 memory=506064 CPUtime=15.69 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 25876 13108 0 0 1500 61 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10846988 memory=508116 CPUtime=15.71 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 18497 13108 0 0 1503 60 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10846988 memory=506064 CPUtime=7.54 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 16916 13108 0 0 669 77 5 3 20 0 15 0 443840019 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10846988 memory=503528 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 19 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700914018016 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10846988 memory=3124 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700310037760 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10846988 memory=501476 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10846988 memory=164 CPUtime=5.74 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 13648 13108 0 0 564 2 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10846988 memory=505040 CPUtime=5.6 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 16176 13108 0 0 549 3 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10846988 memory=505040 CPUtime=2.16 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 9193 13108 0 0 206 2 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10846988 memory=516252 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10846988 memory=1284 CPUtime=1.53 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 965 13108 0 0 64 81 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 501476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.33 s]
# the end of solver process 19053 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.73 s, system=4.38955 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.3 s]
/proc/loadavg: 1.43 1.40 1.39 3/226 19476
/proc/meminfo: memFree=29161368/32770624 swapFree=66926500/67108860
[pid=19053] ppid=19050 vsize=10846988 memory=501476 CPUtime=2520.08 cores=1,3,5,7
/proc/19053/stat : 19053 (java) S 19050 19053 18141 0 -1 1077944320 290087 13108 0 0 251565 435 5 3 20 0 15 0 443840008 11107315712 125369 33554432000 4194304 4196468 140723089540624 140723089523168 140701477572343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
/proc/19053/statm: 2711747 125369 3628 1 0 2673805 0
[pid=19053/tid=19106] ppid=19050 vsize=10846988 memory=502500 CPUtime=2435.31 cores=1,3,5,7
/proc/19053/task/19106/stat : 19106 (java) R 19050 19053 18141 0 -1 4202560 140966 13108 0 0 243454 69 5 3 20 0 15 0 443840017 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701449408320 140701083052727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19107] ppid=19050 vsize=10846988 memory=505556 CPUtime=15.71 cores=1,3,5,7
/proc/19053/task/19107/stat : 19107 (java) S 19050 19053 18141 0 -1 1077944384 25422 13108 0 0 1501 62 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701481814544 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19108] ppid=19050 vsize=10846988 memory=8076 CPUtime=15.69 cores=1,3,5,7
/proc/19053/task/19108/stat : 19108 (java) S 19050 19053 18141 0 -1 1077944384 20179 13108 0 0 1498 63 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701386017424 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19109] ppid=19050 vsize=10846988 memory=506064 CPUtime=15.69 cores=1,3,5,7
/proc/19053/task/19109/stat : 19109 (java) S 19050 19053 18141 0 -1 1077944384 25876 13108 0 0 1500 61 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701384964368 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19110] ppid=19050 vsize=10846988 memory=508116 CPUtime=15.71 cores=1,3,5,7
/proc/19053/task/19110/stat : 19110 (java) S 19050 19053 18141 0 -1 1077944384 18497 13108 0 0 1503 60 5 3 20 0 15 0 443840018 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701049084304 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19111] ppid=19050 vsize=10846988 memory=506064 CPUtime=7.54 cores=1,3,5,7
/proc/19053/task/19111/stat : 19111 (java) S 19050 19053 18141 0 -1 1077944384 16916 13108 0 0 669 77 5 3 20 0 15 0 443840019 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701004135152 140701477583490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19112] ppid=19050 vsize=10846988 memory=503528 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19112/stat : 19112 (java) S 19050 19053 18141 0 -1 1077944384 19 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700914018016 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19113] ppid=19050 vsize=10846988 memory=3124 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19113/stat : 19113 (java) S 19050 19053 18141 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 443840020 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700310037760 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19114] ppid=19050 vsize=10846988 memory=501476 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19114/stat : 19114 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840022 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700002638288 140701477590939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19115] ppid=19050 vsize=10846988 memory=164 CPUtime=5.74 cores=1,3,5,7
/proc/19053/task/19115/stat : 19115 (java) S 19050 19053 18141 0 -1 1077944384 13648 13108 0 0 564 2 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701003081968 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19116] ppid=19050 vsize=10846988 memory=505040 CPUtime=5.6 cores=1,3,5,7
/proc/19053/task/19116/stat : 19116 (java) S 19050 19053 18141 0 -1 1077944384 16176 13108 0 0 549 3 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701002029424 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19117] ppid=19050 vsize=10846988 memory=505040 CPUtime=2.16 cores=1,3,5,7
/proc/19053/task/19117/stat : 19117 (java) S 19050 19053 18141 0 -1 1077944384 9193 13108 0 0 206 2 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140701000976368 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19118] ppid=19050 vsize=10846988 memory=516252 CPUtime=0.08 cores=1,3,5,7
/proc/19053/task/19118/stat : 19118 (java) S 19050 19053 18141 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140699969079648 140701477582549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
[pid=19053/tid=19119] ppid=19050 vsize=10846988 memory=1284 CPUtime=1.53 cores=1,3,5,7
/proc/19053/task/19119/stat : 19119 (java) S 19050 19053 18141 0 -1 1077944384 965 13108 0 0 64 81 5 3 20 0 15 0 443840023 11107315712 125369 33554432000 4194304 4196468 140723089540624 140700999924784 140701477583490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15634432 140723089541871 140723089544389 140723089544389 140723089547215 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 501476 KiB
Child status: 143
Real time (s): 2461.33
CPU time (s): 2520.12
CPU user time (s): 2515.73
CPU system time (s): 4.38955
CPU usage (%): 102.389
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1794612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.73
system time used= 4.38955
maximum resident set size= 1797160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210644
involuntary context switches= 6781
# summary of solver processes directly reported to runsolver:
# pid: 19053
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.73
# total CPU system time (s): 4.38955
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5344 second user time and 18.6739 second system time
The end