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 (6057 MiB free)
memory of node 1: 16384 MiB (2753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402474-1568986777/watcher-4402474-1568986777 -o /var/tmp/evaluation-result-4402474-1568986777/solver-4402474-1568986777 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1419008473 HOME/instance-4402474-1568986777.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
Current StackSize limit: 8192 KiB
solver pid=25282, runsolver pid=25279
[startup+0.100133 s]*
/proc/loadavg: 1.73 1.60 1.51 3/217 25339
/proc/meminfo: memFree=9015588/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 4468 13233 0 0 1 0 5 3 20 0 6 0 474935729 10212057088 4203 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2493178 4203 1934 1 0 2481616 0
[pid=25282/tid=25335] ppid=25279 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 2275 13233 0 0 1 0 5 3 20 0 6 0 474935739 10212057088 4269 33554432000 4194304 4196468 140722739750016 139650001687120 139650013930876 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 6 0 474935739 10212057088 4269 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=9972712 memory=139704273655424 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 6 0 474935739 10212057088 4269 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 6 0 474935739 10212057088 4269 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 6 0 474935739 10212057088 4269 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210094 s]*
/proc/loadavg: 1.73 1.60 1.51 4/226 25348
/proc/meminfo: memFree=8991268/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10820164 memory=44220 CPUtime=0.26 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 7363 13233 0 0 17 1 5 3 20 0 15 0 474935729 11079847936 11055 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2705041 11055 3274 1 0 2667149 0
[pid=25282/tid=25335] ppid=25279 vsize=10820176 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 3849 13233 0 0 11 0 5 3 20 0 15 0 474935739 11079860224 11055 33554432000 4194304 4196468 140722739750016 139650001638352 139649952926693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10820176 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079860224 11055 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10820176 memory=139704273678502 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079860224 11055 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079860224 11055 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079860224 11055 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10820176 memory=139704273655424 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935741 11079860224 11055 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 33 13233 0 0 0 0 5 3 20 0 15 0 474935741 11079868416 11055 33554432000 4194304 4196468 140722739750016 139649488241440 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935741 11079868416 11055 33554432000 4194304 4196468 140722739750016 139649385227376 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11079868416 11055 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10820184 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) R 25279 25282 19941 0 -1 1077944384 482 13233 0 0 1 0 5 3 20 0 15 0 474935744 11079868416 11055 33554432000 4194304 4196468 140722739750016 139649454684784 139650029861506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10820184 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) R 25279 25282 19941 0 -1 4202560 181 13233 0 0 1 0 5 3 20 0 15 0 474935744 11079868416 11055 33554432000 4194304 4196468 140722739750016 139649453631984 139650015891104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10820184 memory=139704273655424 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) R 25279 25282 19941 0 -1 4202560 600 13233 0 0 3 0 5 3 20 0 15 0 474935744 11079868416 11055 33554432000 4194304 4196468 140722739750016 139649351670640 139650008031146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11079868416 11055 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10820188 memory=139704273655424 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935745 11079872512 11055 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 44220 KiB
[startup+0.3111 s]*
/proc/loadavg: 1.73 1.60 1.51 4/226 25348
/proc/meminfo: memFree=8980488/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10820196 memory=52388 CPUtime=0.41 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 10840 13233 0 0 30 3 5 3 20 0 15 0 474935729 11079880704 13097 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2705049 13097 3310 1 0 2667149 0
[pid=25282/tid=25335] ppid=25279 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 7309 13233 0 0 19 2 5 3 20 0 15 0 474935739 11079880704 13097 33554432000 4194304 4196468 140722739750016 139650001654464 139650013930846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079880704 13097 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935739 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935741 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 33 13233 0 0 0 0 5 3 20 0 15 0 474935741 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649488241440 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935741 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649385227376 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11079880704 13097 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) S 25279 25282 19941 0 -1 1077944384 483 13233 0 0 2 0 5 3 20 0 15 0 474935744 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649454684784 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) S 25279 25282 19941 0 -1 1077944384 190 13233 0 0 1 0 5 3 20 0 15 0 474935744 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649453631984 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10820196 memory=139704273655424 CPUtime=0.13 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) S 25279 25282 19941 0 -1 1077944384 608 13233 0 0 5 0 5 3 20 0 15 0 474935744 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649351670640 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11079880704 13097 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10820196 memory=139704273655424 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935745 11079880704 13097 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52388 KiB
[startup+0.7011 s]
/proc/loadavg: 1.73 1.60 1.51 3/226 25348
/proc/meminfo: memFree=8965324/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10824364 memory=86036 CPUtime=1.15 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 15232 13233 0 0 102 5 5 3 20 0 15 0 474935729 11084148736 21509 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2706091 21509 3505 1 0 2668173 0
[pid=25282/tid=25335] ppid=25279 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 10472 13233 0 0 55 4 5 3 20 0 15 0 474935739 11084148736 21509 33554432000 4194304 4196468 140722739750016 139650001666272 139649952906261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11084148736 21509 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10824364 memory=139704146211024 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935739 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10824364 memory=139706696204905 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935739 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 5 13233 0 0 0 0 5 3 20 0 15 0 474935741 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 33 13233 0 0 0 0 5 3 20 0 15 0 474935741 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649488241440 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10824364 memory=7739528784169234287 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935741 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649385227376 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11084148736 21509 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10824364 memory=2116 CPUtime=0.24 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) S 25279 25282 19941 0 -1 1077944384 1102 13233 0 0 16 0 5 3 20 0 15 0 474935744 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649454684784 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10824364 memory=516 CPUtime=0.2 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) S 25279 25282 19941 0 -1 1077944384 620 13233 0 0 12 0 5 3 20 0 15 0 474935744 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649453631984 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10824364 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) S 25279 25282 19941 0 -1 1077944384 781 13233 0 0 17 0 5 3 20 0 15 0 474935744 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649351670640 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11084148736 21509 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10824364 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 474935745 11084148736 21509 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 86036 KiB
[startup+1.5007 s]
/proc/loadavg: 1.73 1.60 1.51 3/226 25348
/proc/meminfo: memFree=8920344/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10834680 memory=179972 CPUtime=2.64 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 24320 13233 0 0 245 11 5 3 20 0 15 0 474935729 11094712320 44993 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2708670 44993 3585 1 0 2670733 0
[pid=25282/tid=25335] ppid=25279 vsize=10834680 memory=176172 CPUtime=1.43 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 16181 13233 0 0 129 6 5 3 20 0 15 0 474935739 11094712320 44993 33554432000 4194304 4196468 140722739750016 139650001652672 139649603473469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10834680 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 337 13233 0 0 1 0 5 3 20 0 15 0 474935739 11094712320 44993 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10834680 memory=1760 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 37 13233 0 0 1 0 5 3 20 0 15 0 474935739 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 30 13233 0 0 1 0 5 3 20 0 15 0 474935739 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10834680 memory=-7303279828959712342 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 100 13233 0 0 0 0 5 3 20 0 15 0 474935739 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10834680 memory=3833724587141655611 CPUtime=0.09 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 1598 13233 0 0 1 0 5 3 20 0 15 0 474935741 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10834680 memory=-7016161123436706971 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 33 13233 0 0 0 0 5 3 20 0 15 0 474935741 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649488241504 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10834680 memory=-6005673638262905286 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935741 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649385227392 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11094712320 44993 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10834680 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) S 25279 25282 19941 0 -1 1077944384 1326 13233 0 0 38 0 5 3 20 0 15 0 474935744 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649454684784 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10834680 memory=4580 CPUtime=0.37 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) R 25279 25282 19941 0 -1 1077944384 849 13233 0 0 29 0 5 3 20 0 15 0 474935744 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649453631984 139650029861506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10834680 memory=7230358031464158288 CPUtime=0.48 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) S 25279 25282 19941 0 -1 1077944384 1612 13233 0 0 40 0 5 3 20 0 15 0 474935744 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649351670640 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10834680 memory=4641048842867402595 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11094712320 44993 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10834680 memory=8244519085990896983 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935745 11094712320 44993 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
Current children cumulated CPU time: 6.78 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 282656 KiB
[startup+3.93353 s]
# the end of solver process 25282 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.87475 s, system=0.238672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2011 s]
/proc/loadavg: 1.99 1.65 1.53 4/226 25348
/proc/meminfo: memFree=8756352/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10844940 memory=286884 CPUtime=7.03 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 39911 13233 0 0 678 17 5 3 20 0 15 0 474935729 11105218560 71721 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2711235 71721 3610 1 0 2673293 0
[pid=25282/tid=25335] ppid=25279 vsize=10844940 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 22672 13233 0 0 291 10 5 3 20 0 15 0 474935739 11105218560 71721 33554432000 4194304 4196468 140722739750016 139650001674640 139650013930846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10844940 memory=-7812736537705029536 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 378 13233 0 0 3 0 5 3 20 0 15 0 474935739 11105218560 71721 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10844940 memory=8547712850019655617 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 184 13233 0 0 3 0 5 3 20 0 15 0 474935739 11105218560 71721 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10844940 memory=6655300316396806240 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 48 13233 0 0 3 0 5 3 20 0 15 0 474935739 11105218560 71721 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10844940 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 299 13233 0 0 2 1 5 3 20 0 15 0 474935739 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10844940 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 2952 13233 0 0 3 0 5 3 20 0 15 0 474935741 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 40 13233 0 0 0 0 5 3 20 0 15 0 474935741 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649488241504 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 6 13233 0 0 0 0 5 3 20 0 15 0 474935741 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649385227392 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11105218560 71787 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10844940 memory=2241 CPUtime=1.45 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) R 25279 25282 19941 0 -1 4202560 3965 13233 0 0 136 1 5 3 20 0 15 0 474935744 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649454665800 139650013347143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10844940 memory=2244 CPUtime=1.34 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) R 25279 25282 19941 0 -1 4202560 3064 13233 0 0 125 1 5 3 20 0 15 0 474935744 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649453616800 139650014247164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10844940 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) R 25279 25282 19941 0 -1 4202560 4126 13233 0 0 108 1 5 3 20 0 15 0 474935744 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649351670640 139650022087486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11105218560 71787 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 9 13233 0 0 0 0 5 3 20 0 15 0 474935745 11105218560 71787 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 7.03 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 286884 KiB
[startup+3.6011 s]
/proc/loadavg: 1.99 1.65 1.53 4/226 25348
/proc/meminfo: memFree=8756352/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10847232 memory=314728 CPUtime=8.29 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 46972 13233 0 0 802 19 5 3 20 0 15 0 474935729 11107565568 78682 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2711808 78682 3612 1 0 2673866 0
[pid=25282/tid=25335] ppid=25279 vsize=10847232 memory=43280 CPUtime=3.49 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 22763 13233 0 0 331 10 5 3 20 0 15 0 474935739 11107565568 78682 33554432000 4194304 4196468 140722739750016 139650001686328 139650013930846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10847232 memory=984 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 378 13233 0 0 3 0 5 3 20 0 15 0 474935739 11107565568 78682 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10847232 memory=2016 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 184 13233 0 0 3 0 5 3 20 0 15 0 474935739 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10847232 memory=1412 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 48 13233 0 0 3 0 5 3 20 0 15 0 474935739 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10847232 memory=1548 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 299 13233 0 0 2 1 5 3 20 0 15 0 474935739 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10847232 memory=7552 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 2952 13233 0 0 3 0 5 3 20 0 15 0 474935741 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10847232 memory=3608 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 40 13233 0 0 0 0 5 3 20 0 15 0 474935741 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649488241504 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10847232 memory=616 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 6 13233 0 0 0 0 5 3 20 0 15 0 474935741 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649385227392 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10847232 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11107565568 78682 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10847232 memory=56 CPUtime=1.84 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) R 25279 25282 19941 0 -1 4202560 6573 13233 0 0 175 1 5 3 20 0 15 0 474935744 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649454670808 139650011394448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10847232 memory=7163073520715457112 CPUtime=1.73 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) R 25279 25282 19941 0 -1 4202560 6436 13233 0 0 164 1 5 3 20 0 15 0 474935744 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649453620336 139650014253217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10847232 memory=7018113907709469272 CPUtime=1.23 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) S 25279 25282 19941 0 -1 1077944384 5072 13233 0 0 114 1 5 3 20 0 15 0 474935744 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649351670640 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10847232 memory=7018113907709469272 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11107565568 78682 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10847232 memory=7018113907709469272 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 9 13233 0 0 0 0 5 3 20 0 15 0 474935745 11107565568 78682 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 10847232 KiB
Current children cumulated memory: 314728 KiB
[startup+3.8011 s]
/proc/loadavg: 1.99 1.65 1.53 4/226 25348
/proc/meminfo: memFree=8756352/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10847676 memory=321020 CPUtime=8.86 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 48700 13233 0 0 859 19 5 3 20 0 15 0 474935729 11108020224 80255 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2711919 80255 3612 1 0 2673977 0
[pid=25282/tid=25335] ppid=25279 vsize=10847676 memory=1414298054980309879 CPUtime=3.69 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) R 25279 25282 19941 0 -1 4202560 22894 13233 0 0 351 10 5 3 20 0 15 0 474935739 11108020224 80255 33554432000 4194304 4196468 140722739750016 139650001679984 139649615255132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10847676 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 378 13233 0 0 3 0 5 3 20 0 15 0 474935739 11108020224 80255 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10847676 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 184 13233 0 0 3 0 5 3 20 0 15 0 474935739 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10847676 memory=139704146211328 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 48 13233 0 0 3 0 5 3 20 0 15 0 474935739 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10847676 memory=-1807685287725067907 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 299 13233 0 0 2 1 5 3 20 0 15 0 474935739 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10847676 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 2952 13233 0 0 3 0 5 3 20 0 15 0 474935741 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649489295472 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10847676 memory=3546093677227696739 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 40 13233 0 0 0 0 5 3 20 0 15 0 474935741 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649488241504 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10847676 memory=7236229500900889449 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 6 13233 0 0 0 0 5 3 20 0 15 0 474935741 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649385227392 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25343] ppid=25279 vsize=10847676 memory=7518026630507423849 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25343/stat : 25343 (java) S 25279 25282 19941 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 474935744 11108020224 80255 33554432000 4194304 4196468 140722739750016 139648781248592 139650029868955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10847676 memory=7229831288391772310 CPUtime=2.04 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) R 25279 25282 19941 0 -1 4202560 7510 13233 0 0 195 1 5 3 20 0 15 0 474935744 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649454670944 139650014975614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10847676 memory=258636 CPUtime=1.87 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) R 25279 25282 19941 0 -1 4202560 7065 13233 0 0 178 1 5 3 20 0 15 0 474935744 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649453631984 139650014652880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10847676 memory=2116 CPUtime=1.26 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) R 25279 25282 19941 0 -1 4202560 5103 13233 0 0 117 1 5 3 20 0 15 0 474935744 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649351670640 139650029871706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10847676 memory=516 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 474935744 11108020224 80255 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25348] ppid=25279 vsize=10847676 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25348/stat : 25348 (java) S 25279 25282 19941 0 -1 1077944384 9 13233 0 0 0 0 5 3 20 0 15 0 474935745 11108020224 80255 33554432000 4194304 4196468 140722739750016 139649350617520 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 10847676 KiB
Current children cumulated memory: 321020 KiB
[startup+3.9011 s]
/proc/loadavg: 1.99 1.65 1.53 4/226 25348
/proc/meminfo: memFree=8756352/32770624 swapFree=66955288/67108860
[pid=25282] ppid=25279 vsize=10913232 memory=319232 CPUtime=9.08 cores=0,2,4,6
/proc/25282/stat : 25282 (java) S 25279 25282 19941 0 -1 1077944320 48947 13233 0 0 881 19 5 3 20 0 13 0 474935729 11175149568 79808 33554432000 4194304 4196468 140722739750016 140722739732560 139650029850359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
/proc/25282/statm: 2728308 79808 3614 1 0 2690366 0
[pid=25282/tid=25335] ppid=25279 vsize=10913232 memory=227740 CPUtime=3.75 cores=0,2,4,6
/proc/25282/task/25335/stat : 25335 (java) S 25279 25282 19941 0 -1 1077944384 22916 13233 0 0 357 10 5 3 20 0 13 0 474935739 11175149568 79808 33554432000 4194304 4196468 140722739750016 139650001693840 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25336] ppid=25279 vsize=10913232 memory=7740090638873552741 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25336/stat : 25336 (java) S 25279 25282 19941 0 -1 1077944384 378 13233 0 0 3 0 5 3 20 0 13 0 474935739 11175149568 79808 33554432000 4194304 4196468 140722739750016 139650034092944 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25337] ppid=25279 vsize=10913232 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25337/stat : 25337 (java) S 25279 25282 19941 0 -1 1077944384 184 13233 0 0 3 0 5 3 20 0 13 0 474935739 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649603332880 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25338] ppid=25279 vsize=10913232 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25338/stat : 25338 (java) S 25279 25282 19941 0 -1 1077944384 48 13233 0 0 3 0 5 3 20 0 13 0 474935739 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649602280592 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25339] ppid=25279 vsize=10913232 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25339/stat : 25339 (java) S 25279 25282 19941 0 -1 1077944384 299 13233 0 0 2 1 5 3 20 0 13 0 474935739 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649601227792 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25340] ppid=25279 vsize=10913232 memory=121 CPUtime=0.11 cores=0,2,4,6
/proc/25282/task/25340/stat : 25340 (java) S 25279 25282 19941 0 -1 1077944384 2952 13233 0 0 3 0 5 3 20 0 13 0 474935741 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649489295680 139650029861506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25341] ppid=25279 vsize=10913232 memory=110 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25341/stat : 25341 (java) S 25279 25282 19941 0 -1 1077944384 40 13233 0 0 0 0 5 3 20 0 13 0 474935741 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649488241504 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25342] ppid=25279 vsize=10913232 memory=99 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25342/stat : 25342 (java) S 25279 25282 19941 0 -1 1077944384 6 13233 0 0 0 0 5 3 20 0 13 0 474935741 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649385227392 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25344] ppid=25279 vsize=10913232 memory=0 CPUtime=2.14 cores=0,2,4,6
/proc/25282/task/25344/stat : 25344 (java) R 25279 25282 19941 0 -1 4202560 7691 13233 0 0 205 1 5 3 20 0 13 0 474935744 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649454670288 139650014771723 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25345] ppid=25279 vsize=10913232 memory=185388 CPUtime=1.9 cores=0,2,4,6
/proc/25282/task/25345/stat : 25345 (java) S 25279 25282 19941 0 -1 1077944384 7078 13233 0 0 181 1 5 3 20 0 13 0 474935744 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649453623088 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25346] ppid=25279 vsize=10913232 memory=4137290303932963203 CPUtime=1.28 cores=0,2,4,6
/proc/25282/task/25346/stat : 25346 (java) S 25279 25282 19941 0 -1 1077944384 5124 13233 0 0 118 2 5 3 20 0 13 0 474935744 11175149568 79808 33554432000 4194304 4196468 140722739750016 139649351670640 139650029861506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
[pid=25282/tid=25347] ppid=25279 vsize=10913232 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/25282/task/25347/stat : 25347 (java) S 25279 25282 19941 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 13 0 474935744 11175149568 79808 33554432000 4194304 4196468 140722739750016 139648311487456 139650029860565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6905856 140722739755619 140722739758261 140722739758261 140722739761103 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 10913232 KiB
Current children cumulated memory: 319232 KiB
Child status: 0
Real time (s): 3.93357
CPU time (s): 9.11342
CPU user time (s): 8.87475
CPU system time (s): 0.238672
CPU usage (%): 231.683
Max. virtual memory (cumulated for all children) (KiB): 10913232
Max. memory (cumulated for all children) (KiB): 321020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.87475
system time used= 0.238672
maximum resident set size= 323280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5454
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 25282
# total CPU time (s): 9.11342
# total CPU user time (s): 8.87475
# total CPU system time (s): 0.238672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045264 second user time and 0.076517 second system time
The end