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 (14822 MiB free)
memory of node 1: 16384 MiB (8973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400817-1568692696/watcher-4400817-1568692696 -o /tmp/evaluation-result-4400817-1568692696/solver-4400817-1568692696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568673294-11994 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=59759252 HOME/instance-4400817-1568692696.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18638, runsolver pid=18635
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 1.36 1.54 1.57 3/218 18695
/proc/meminfo: memFree=24356480/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=9972712 memory=17216 CPUtime=0.1 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 4549 13400 0 0 1 1 5 3 20 0 6 0 445431236 10212057088 4304 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2493178 4304 1935 1 0 2481616 0
[pid=18638/tid=18691] ppid=18635 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 2344 13400 0 0 0 0 5 3 20 0 6 0 445431245 10212057088 4304 33554432000 4194304 4196468 140728262903696 139858203390544 139858215634270 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 6 0 445431246 10212057088 4304 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=9972712 memory=288370306280240768 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 6 0 445431246 10212057088 4304 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 6 0 445431246 10212057088 4304 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 6 0 445431246 10212057088 4304 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17216 KiB
[startup+0.210019 s]*
/proc/loadavg: 1.36 1.54 1.57 3/227 18704
/proc/meminfo: memFree=24335856/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10820020 memory=44696 CPUtime=0.26 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 7591 13400 0 0 16 2 5 3 20 0 15 0 445431236 11079700480 11174 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2705005 11174 3262 1 0 2667149 0
[pid=18638/tid=18691] ppid=18635 vsize=10820164 memory=753035770744996145 CPUtime=0.19 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 4114 13400 0 0 10 1 5 3 20 0 15 0 445431245 11079847936 11174 33554432000 4194304 4196468 140728262903696 139858203347840 139858087325558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079847936 11174 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10820164 memory=288370306280240768 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079847936 11174 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079847936 11174 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079847936 11174 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431247 11079847936 11174 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 33 13400 0 0 0 0 5 3 20 0 15 0 445431248 11079847936 11174 33554432000 4194304 4196468 140728262903696 139857689036064 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431248 11079860224 11174 33554432000 4194304 4196468 140728262903696 139857556924016 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079860224 11174 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10820176 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) R 18635 18638 11963 0 -1 4202560 369 13400 0 0 1 0 5 3 20 0 15 0 445431251 11079860224 11174 33554432000 4194304 4196468 140728262903696 139857655478384 139858209301272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 1077944384 285 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079860224 11174 33554432000 4194304 4196468 140728262903696 139857654425584 139858231564930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10820176 memory=139930128529024 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) S 18635 18638 11963 0 -1 1077944384 607 13400 0 0 3 0 5 3 20 0 15 0 445431251 11079860224 11174 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079860224 11174 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10820184 memory=139930128529024 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079868416 11240 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 44696 KiB
[startup+0.311284 s]*
/proc/loadavg: 1.36 1.54 1.57 7/227 18704
/proc/meminfo: memFree=24323824/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10820196 memory=52988 CPUtime=0.4 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 10984 13400 0 0 28 4 5 3 20 0 15 0 445431236 11079880704 13247 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2705049 13247 3317 1 0 2667149 0
[pid=18638/tid=18691] ppid=18635 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 7449 13400 0 0 18 3 5 3 20 0 15 0 445431245 11079880704 13247 33554432000 4194304 4196468 140728262903696 139858203362736 139858215634270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079880704 13247 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10820196 memory=139930128529023 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431247 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 33 13400 0 0 0 0 5 3 20 0 15 0 445431248 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857689036064 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431248 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857556924016 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079880704 13247 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) S 18635 18638 11963 0 -1 1077944384 379 13400 0 0 2 0 5 3 20 0 15 0 445431251 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857655478384 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) S 18635 18638 11963 0 -1 1077944384 285 13400 0 0 1 0 5 3 20 0 15 0 445431251 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857654425584 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10820196 memory=139930128529024 CPUtime=0.13 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) S 18635 18638 11963 0 -1 1077944384 614 13400 0 0 5 0 5 3 20 0 15 0 445431251 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079880704 13247 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10820196 memory=139930128529024 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431251 11079880704 13247 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52988 KiB
[startup+0.701588 s]
/proc/loadavg: 1.36 1.54 1.57 4/227 18704
/proc/meminfo: memFree=24309768/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10824364 memory=85372 CPUtime=1.12 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 15071 13400 0 0 98 6 5 3 20 0 15 0 445431236 11084148736 21343 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2706091 21343 3513 1 0 2668173 0
[pid=18638/tid=18691] ppid=18635 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 10470 13400 0 0 55 4 5 3 20 0 15 0 445431245 11084148736 21343 33554432000 4194304 4196468 140728262903696 139858203368592 139858223804418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10824364 memory=1416 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431246 11084148736 21343 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10824364 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10824364 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431246 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 5 13400 0 0 0 0 5 3 20 0 15 0 445431247 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 33 13400 0 0 0 0 5 3 20 0 15 0 445431248 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857689036064 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431248 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857556924016 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11084148736 21343 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) R 18635 18638 11963 0 -1 4202560 762 13400 0 0 13 0 5 3 20 0 15 0 445431251 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857655478384 139858215460754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 4202560 820 13400 0 0 12 0 5 3 20 0 15 0 445431251 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857654412896 139858215945760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) S 18635 18638 11963 0 -1 1077944384 757 13400 0 0 17 0 5 3 20 0 15 0 445431251 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11084148736 21343 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10824364 memory=3588 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431251 11084148736 21343 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85372 KiB
[startup+1.50073 s]
/proc/loadavg: 1.36 1.54 1.57 4/227 18704
/proc/meminfo: memFree=24264976/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10834680 memory=174956 CPUtime=2.49 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 21918 13400 0 0 229 12 5 3 20 0 15 0 445431236 11094712320 43739 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2708670 43739 3580 1 0 2670733 0
[pid=18638/tid=18691] ppid=18635 vsize=10834680 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 15488 13400 0 0 130 6 5 3 20 0 15 0 445431245 11094712320 43739 33554432000 4194304 4196468 140728262903696 139858203348224 139858231565718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10834680 memory=7236271286672058455 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 19 13400 0 0 1 0 5 3 20 0 15 0 445431246 11094712320 43739 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10834680 memory=7236271286671470423 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 80 13400 0 0 0 0 5 3 20 0 15 0 445431246 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10834680 memory=7236271286671535191 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 51 13400 0 0 0 0 5 3 20 0 15 0 445431246 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10834680 memory=279859935145760 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 340 13400 0 0 1 0 5 3 20 0 15 0 445431246 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10834680 memory=3540060634678931089 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 126 13400 0 0 1 0 5 3 20 0 15 0 445431247 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10834680 memory=279859934813184 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 34 13400 0 0 0 0 5 3 20 0 15 0 445431248 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857689036128 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431248 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857556924032 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11094712320 43739 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10834680 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) S 18635 18638 11963 0 -1 1077944384 983 13400 0 0 26 0 5 3 20 0 15 0 445431251 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857655478384 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10834680 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 4202560 1138 13400 0 0 26 0 5 3 20 0 15 0 445431251 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857654425584 139858231575130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10834680 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) R 18635 18638 11963 0 -1 4202560 1442 13400 0 0 40 0 5 3 20 0 15 0 445431251 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857653373296 139858231575130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10834680 memory=279859935354880 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11094712320 43739 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10834680 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 445431251 11094712320 43739 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+4.38478 s]
# the end of solver process 18638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.8145 s, system=0.27106 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20361 s]
/proc/loadavg: 1.36 1.54 1.57 5/227 18704
/proc/meminfo: memFree=24117688/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10842892 memory=294236 CPUtime=7.36 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 41634 13400 0 0 710 18 5 3 20 0 15 0 445431236 11103121408 73559 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2710723 73559 3609 1 0 2672781 0
[pid=18638/tid=18691] ppid=18635 vsize=10842892 memory=6791534058613427641 CPUtime=3.12 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 22293 13400 0 0 294 10 5 3 20 0 15 0 445431245 11103121408 73559 33554432000 4194304 4196468 140728262903696 139858203389472 139858214746483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10842892 memory=306 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 41 13400 0 0 1 0 5 3 20 0 15 0 445431246 11103121408 73559 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10842892 memory=248140 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 88 13400 0 0 1 0 5 3 20 0 15 0 445431246 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10842892 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 159 13400 0 0 1 1 5 3 20 0 15 0 445431246 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 343 13400 0 0 1 0 5 3 20 0 15 0 445431246 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 199 13400 0 0 1 0 5 3 20 0 15 0 445431247 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10842892 memory=12 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 445431248 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857689036128 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10842892 memory=189 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 6 13400 0 0 0 0 5 3 20 0 15 0 445431248 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857556924032 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10842892 memory=123 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11103121408 73559 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10842892 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) R 18635 18638 11963 0 -1 4202560 4956 13400 0 0 149 0 5 3 20 0 15 0 445431251 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857655467328 139858208782589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10842892 memory=279859935002656 CPUtime=1.46 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 4202560 4624 13400 0 0 138 0 5 3 20 0 15 0 445431251 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857654406672 139858213073864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10842892 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) S 18635 18638 11963 0 -1 1077944384 6664 13400 0 0 119 2 5 3 20 0 15 0 445431251 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10842892 memory=576574510189602056 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11103121408 73559 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10842892 memory=13733 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 8 13400 0 0 0 0 5 3 20 0 15 0 445431251 11103121408 73559 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 294236 KiB
[startup+4.00062 s]*
/proc/loadavg: 1.33 1.53 1.56 5/227 18704
/proc/meminfo: memFree=24045844/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10853220 memory=333740 CPUtime=9.95 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 54241 13400 0 0 966 21 5 3 20 0 15 0 445431236 11113697280 83435 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2713305 83435 3614 1 0 2675360 0
[pid=18638/tid=18691] ppid=18635 vsize=10853220 memory=590024538737082486 CPUtime=3.87 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 24555 13400 0 0 368 11 5 3 20 0 15 0 445431245 11113697280 83435 33554432000 4194304 4196468 140728262903696 139858203388192 139857845623655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10853220 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 44 13400 0 0 3 0 5 3 20 0 15 0 445431246 11113697280 83435 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10853220 memory=303059988594747264 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 107 13400 0 0 4 0 5 3 20 0 15 0 445431246 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10853220 memory=4137287014106042739 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 173 13400 0 0 3 1 5 3 20 0 15 0 445431246 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10853220 memory=1399943076115485043 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 379 13400 0 0 4 0 5 3 20 0 15 0 445431246 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10853220 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 3135 13400 0 0 3 0 5 3 20 0 15 0 445431247 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10853220 memory=4210146916469654281 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 445431248 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857689036128 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10853220 memory=-7966001967256141664 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 6 13400 0 0 0 0 5 3 20 0 15 0 445431248 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857556924032 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10853220 memory=-6876588628787748224 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11113697280 83435 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10853220 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) R 18635 18638 11963 0 -1 4202560 8142 13400 0 0 222 1 5 3 20 0 15 0 445431251 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857655464544 139858213101190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10853220 memory=3472328296227680303 CPUtime=2.11 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 4202560 6703 13400 0 0 202 1 5 3 20 0 15 0 445431251 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857654411256 139858213098744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10853220 memory=3616847301517891255 CPUtime=1.62 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) R 18635 18638 11963 0 -1 1077944384 8760 13400 0 0 152 2 5 3 20 0 15 0 445431251 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10853220 memory=7945036255673869925 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11113697280 83435 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10853220 memory=3833020100811478706 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 8 13400 0 0 0 0 5 3 20 0 15 0 445431251 11113697280 83435 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 10853220 KiB
Current children cumulated memory: 333740 KiB
[startup+4.20072 s]
/proc/loadavg: 1.33 1.53 1.56 5/227 18704
/proc/meminfo: memFree=24045844/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10852156 memory=338980 CPUtime=10.57 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 57310 13400 0 0 1027 22 5 3 20 0 15 0 445431236 11112607744 84745 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2713039 84745 3614 1 0 2675094 0
[pid=18638/tid=18691] ppid=18635 vsize=10852156 memory=7444570457377236821 CPUtime=4.06 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 24582 13400 0 0 387 11 5 3 20 0 15 0 445431245 11112607744 84745 33554432000 4194304 4196468 140728262903696 139858203385488 139857845544780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10852156 memory=4639059877604708710 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 44 13400 0 0 3 0 5 3 20 0 15 0 445431246 11112607744 84745 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10852156 memory=7444843076533644388 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 107 13400 0 0 4 0 5 3 20 0 15 0 445431246 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10852156 memory=-8253362664378451600 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 173 13400 0 0 3 1 5 3 20 0 15 0 445431246 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10852156 memory=-7374466869519807680 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 379 13400 0 0 4 0 5 3 20 0 15 0 445431246 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10852156 memory=-9181546050914066336 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 3135 13400 0 0 3 0 5 3 20 0 15 0 445431247 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10852156 memory=4206468019030876256 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 445431248 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857689036128 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10852156 memory=-7595718316222733696 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 6 13400 0 0 0 0 5 3 20 0 15 0 445431248 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857556924032 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10852156 memory=8187704045996132563 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11112607744 84745 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10852156 memory=-2892745056951965031 CPUtime=2.5 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) R 18635 18638 11963 0 -1 4202560 10533 13400 0 0 241 1 5 3 20 0 15 0 445431251 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857655464264 139858213076701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10852156 memory=6944656592455359545 CPUtime=2.3 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 4202560 6919 13400 0 0 221 1 5 3 20 0 15 0 445431251 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857654416912 139858215039863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10852156 memory=6944656592455097440 CPUtime=1.67 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) S 18635 18638 11963 0 -1 1077944384 9168 13400 0 0 156 3 5 3 20 0 15 0 445431251 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10852156 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11112607744 84745 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10852156 memory=4122539899200353078 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 9 13400 0 0 0 0 5 3 20 0 15 0 445431251 11112607744 84745 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 10.57 s
Current children cumulated vsize: 10852156 KiB
Current children cumulated memory: 338980 KiB
[startup+4.30069 s]
/proc/loadavg: 1.33 1.53 1.56 5/227 18704
/proc/meminfo: memFree=24045844/32770624 swapFree=67004308/67108860
[pid=18638] ppid=18635 vsize=10849048 memory=339184 CPUtime=10.89 cores=0,2,4,6
/proc/18638/stat : 18638 (java) S 18635 18638 11963 0 -1 1077944320 58143 13400 0 0 1059 22 5 3 20 0 15 0 445431236 11109425152 84796 33554432000 4194304 4196468 140728262903696 140728262886240 139858231553783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
/proc/18638/statm: 2712262 84796 3614 1 0 2674317 0
[pid=18638/tid=18691] ppid=18635 vsize=10849048 memory=-3395018503391498015 CPUtime=4.16 cores=0,2,4,6
/proc/18638/task/18691/stat : 18691 (java) R 18635 18638 11963 0 -1 4202560 24582 13400 0 0 397 11 5 3 20 0 15 0 445431245 11109425152 84796 33554432000 4194304 4196468 140728262903696 139858203385488 139857849562498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18692] ppid=18635 vsize=10849048 memory=-2247047206137978201 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18692/stat : 18692 (java) S 18635 18638 11963 0 -1 1077944384 44 13400 0 0 3 0 5 3 20 0 15 0 445431246 11109425152 84796 33554432000 4194304 4196468 140728262903696 139858235795856 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18693] ppid=18635 vsize=10849048 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18693/stat : 18693 (java) S 18635 18638 11963 0 -1 1077944384 107 13400 0 0 4 0 5 3 20 0 15 0 445431246 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857805105424 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18694] ppid=18635 vsize=10849048 memory=7752549240514114323 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18694/stat : 18694 (java) S 18635 18638 11963 0 -1 1077944384 173 13400 0 0 3 1 5 3 20 0 15 0 445431246 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857804053136 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18695] ppid=18635 vsize=10849048 memory=-7531822216215551788 CPUtime=0.12 cores=0,2,4,6
/proc/18638/task/18695/stat : 18695 (java) S 18635 18638 11963 0 -1 1077944384 379 13400 0 0 4 0 5 3 20 0 15 0 445431246 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857803000336 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18696] ppid=18635 vsize=10849048 memory=246824 CPUtime=0.11 cores=0,2,4,6
/proc/18638/task/18696/stat : 18696 (java) S 18635 18638 11963 0 -1 1077944384 3135 13400 0 0 3 0 5 3 20 0 15 0 445431247 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857690090096 139858231564930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18697] ppid=18635 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18697/stat : 18697 (java) S 18635 18638 11963 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 445431248 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857689036128 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18698] ppid=18635 vsize=10849048 memory=279859934821040 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18698/stat : 18698 (java) S 18635 18638 11963 0 -1 1077944384 6 13400 0 0 0 0 5 3 20 0 15 0 445431248 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857556924032 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18699] ppid=18635 vsize=10849048 memory=279859934821104 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18699/stat : 18699 (java) S 18635 18638 11963 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 445431251 11109425152 84796 33554432000 4194304 4196468 140728262903696 139856952945232 139858231572379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18700] ppid=18635 vsize=10849048 memory=338704 CPUtime=2.61 cores=0,2,4,6
/proc/18638/task/18700/stat : 18700 (java) R 18635 18638 11963 0 -1 4202560 11310 13400 0 0 251 2 5 3 20 0 15 0 445431251 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857655464264 139858213074658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18701] ppid=18635 vsize=10849048 memory=312040 CPUtime=2.4 cores=0,2,4,6
/proc/18638/task/18701/stat : 18701 (java) R 18635 18638 11963 0 -1 4202560 6948 13400 0 0 231 1 5 3 20 0 15 0 445431251 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857654412016 139858210943400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18702] ppid=18635 vsize=10849048 memory=5787781282437025872 CPUtime=1.69 cores=0,2,4,6
/proc/18638/task/18702/stat : 18702 (java) S 18635 18638 11963 0 -1 1077944384 9195 13400 0 0 158 3 5 3 20 0 15 0 445431251 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857653373296 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18703] ppid=18635 vsize=10849048 memory=8025788814078207340 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18703/stat : 18703 (java) S 18635 18638 11963 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 445431251 11109425152 84796 33554432000 4194304 4196468 140728262903696 139856483183072 139858231563989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
[pid=18638/tid=18704] ppid=18635 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18638/task/18704/stat : 18704 (java) S 18635 18638 11963 0 -1 1077944384 9 13400 0 0 0 0 5 3 20 0 15 0 445431251 11109425152 84796 33554432000 4194304 4196468 140728262903696 139857652321200 139858231564930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32178176 140728262912753 140728262915269 140728262915269 140728262918095 0
Current children cumulated CPU time: 10.89 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 339184 KiB
Child status: 0
Real time (s): 4.38483
CPU time (s): 11.0855
CPU user time (s): 10.8145
CPU system time (s): 0.27106
CPU usage (%): 252.816
Max. virtual memory (cumulated for all children) (KiB): 10853220
Max. memory (cumulated for all children) (KiB): 339184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8145
system time used= 0.27106
maximum resident set size= 341600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5993
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 18638
# total CPU time (s): 11.0855
# total CPU user time (s): 10.8145
# total CPU system time (s): 0.27106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048601 second user time and 0.086153 second system time
The end