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 (5628 MiB free)
memory of node 1: 16384 MiB (9376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305065-1534107782/watcher-4305065-1534107782 -o /tmp/evaluation-result-4305065-1534107782/solver-4305065-1534107782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15761 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=56903170 HOME/instance-4305065-1534107782.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17633, runsolver pid=17630
[startup+0.101442 s]*
/proc/loadavg: 1.32 1.24 1.31 2/208 17690
/proc/meminfo: memFree=15359252/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=10005480 memory=16544 CPUtime=0.09 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 4315 12865 0 0 1 1 5 2 20 0 6 0 228341352 10245611520 4136 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2501370 4136 1932 1 0 2489808 0
[pid=17633/tid=17686] ppid=17630 vsize=10005480 memory=4279135703980212877 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 2148 12865 0 0 0 0 5 2 20 0 6 0 228341361 10245611520 4202 33554432000 4194304 4196468 140728856552528 139883815916112 139883828159838 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 6 0 228341362 10245611520 4202 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=10005480 memory=139717284710016 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 6 0 228341362 10245611520 4202 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 6 0 228341362 10245611520 4202 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 2 12865 0 0 0 0 5 2 20 0 6 0 228341362 10245611520 4202 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB
[startup+0.20986 s]*
/proc/loadavg: 1.32 1.24 1.31 3/217 17699
/proc/meminfo: memFree=15341380/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=10982696 memory=44952 CPUtime=0.26 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 8621 12865 0 0 17 2 5 2 20 0 15 0 228341352 11246280704 11238 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2745674 11238 2940 1 0 2708109 0
[pid=17633/tid=17686] ppid=17630 vsize=10982696 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 5165 12865 0 0 10 1 5 2 20 0 15 0 228341361 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883815877008 139883844093238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=10982696 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=10982696 memory=139717284710016 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 2 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=10982696 memory=139717284710016 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 2 12865 0 0 0 0 5 2 20 0 15 0 228341364 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 13 12865 0 0 0 0 5 2 20 0 15 0 228341364 11246280704 11238 33554432000 4194304 4196468 140728856552528 139882655638688 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341365 11246280704 11238 33554432000 4194304 4196468 140728856552528 139882454311664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11246280704 11238 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 418 12865 0 0 1 0 5 2 20 0 15 0 228341367 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 196 12865 0 0 1 0 5 2 20 0 15 0 228341367 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=10982696 memory=139717284710016 CPUtime=0.1 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 623 12865 0 0 3 0 5 2 20 0 15 0 228341367 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11246280704 11238 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=10982696 memory=139717284710016 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341368 11246280704 11238 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44952 KiB
[startup+0.310425 s]*
/proc/loadavg: 1.32 1.24 1.31 3/217 17699
/proc/meminfo: memFree=15331592/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=10983192 memory=56284 CPUtime=0.38 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 10630 12865 0 0 29 2 5 2 20 0 15 0 228341352 11246788608 14071 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2745798 14071 3072 1 0 2708109 0
[pid=17633/tid=17686] ppid=17630 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 7172 12865 0 0 19 1 5 2 20 0 15 0 228341361 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883815891360 139883828159838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 2 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 2 12865 0 0 0 0 5 2 20 0 15 0 228341364 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 13 12865 0 0 0 0 5 2 20 0 15 0 228341364 11246788608 14071 33554432000 4194304 4196468 140728856552528 139882655638688 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341365 11246788608 14071 33554432000 4194304 4196468 140728856552528 139882454311664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11246788608 14071 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 420 12865 0 0 1 0 5 2 20 0 15 0 228341367 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 196 12865 0 0 1 0 5 2 20 0 15 0 228341367 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 630 12865 0 0 5 0 5 2 20 0 15 0 228341367 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11246788608 14071 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341368 11246788608 14071 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56284 KiB
[startup+0.700779 s]
/proc/loadavg: 1.32 1.24 1.31 4/217 17699
/proc/meminfo: memFree=15320056/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=10983192 memory=88580 CPUtime=0.99 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 16852 12865 0 0 88 4 5 2 20 0 15 0 228341352 11246788608 22145 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2745798 22145 3237 1 0 2708109 0
[pid=17633/tid=17686] ppid=17630 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 12466 12865 0 0 56 3 5 2 20 0 15 0 228341361 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883815900176 139883828159838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=10983192 memory=3816 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 2 12865 0 0 0 0 5 2 20 0 15 0 228341362 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 5 12865 0 0 0 0 5 2 20 0 15 0 228341364 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 13 12865 0 0 0 0 5 2 20 0 15 0 228341364 11246788608 22209 33554432000 4194304 4196468 140728856552528 139882655638688 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341365 11246788608 22209 33554432000 4194304 4196468 140728856552528 139882454311664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11246788608 22209 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 1037 12865 0 0 10 0 5 2 20 0 15 0 228341367 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 458 12865 0 0 7 0 5 2 20 0 15 0 228341367 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) R 17630 17633 15729 0 -1 4202560 678 12865 0 0 13 0 5 2 20 0 15 0 228341367 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883333990896 139883822748016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11246788608 22209 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341368 11246788608 22209 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88580 KiB
[startup+1.5008 s]
/proc/loadavg: 1.32 1.24 1.31 5/217 17699
/proc/meminfo: memFree=15274096/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=10998092 memory=177524 CPUtime=2.26 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 24107 12865 0 0 210 9 5 2 20 0 15 0 228341352 11262046208 44381 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2749523 44381 3466 1 0 2711181 0
[pid=17633/tid=17686] ppid=17630 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 18175 12865 0 0 130 5 5 2 20 0 15 0 228341361 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883815895384 139883828159838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 22 12865 0 0 1 0 5 2 20 0 15 0 228341362 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 57 12865 0 0 1 0 5 2 20 0 15 0 228341362 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=10998092 memory=3539892194917298225 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 210 12865 0 0 1 0 5 2 20 0 15 0 228341362 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 34 12865 0 0 1 0 5 2 20 0 15 0 228341362 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 63 12865 0 0 1 0 5 2 20 0 15 0 228341364 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=10998092 memory=279434330450176 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 14 12865 0 0 0 0 5 2 20 0 15 0 228341364 11262046208 44381 33554432000 4194304 4196468 140728856552528 139882655638752 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341365 11262046208 44381 33554432000 4194304 4196468 140728856552528 139882454311664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=10998092 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11262046208 44381 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=10998092 memory=3732 CPUtime=0.32 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 1504 12865 0 0 25 0 5 2 20 0 15 0 228341367 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=10998092 memory=1228 CPUtime=0.23 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 579 12865 0 0 16 0 5 2 20 0 15 0 228341367 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=10998092 memory=10624 CPUtime=0.37 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 1250 12865 0 0 30 0 5 2 20 0 15 0 228341367 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=10998092 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11262046208 44381 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=10998092 memory=6768 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1 12865 0 0 0 0 5 2 20 0 15 0 228341368 11262046208 44381 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+7.55272 s]
# the end of solver process 17633 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.4006 s, system=0.300447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40095 s]
/proc/loadavg: 1.53 1.29 1.32 4/217 17699
/proc/meminfo: memFree=14905648/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=11077984 memory=484816 CPUtime=12.51 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 68139 12865 0 0 1220 24 5 2 20 0 15 0 228341352 11343855616 121204 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2769496 121204 3517 1 0 2731149 0
[pid=17633/tid=17686] ppid=17630 vsize=11077984 memory=7 CPUtime=6.25 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 40946 12865 0 0 605 13 5 2 20 0 15 0 228341361 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883815911048 139883411737388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=11077984 memory=7 CPUtime=0.1 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 231 12865 0 0 3 0 5 2 20 0 15 0 228341362 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=11077984 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 114 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=11077984 memory=7305792226148772969 CPUtime=0.1 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 266 12865 0 0 3 0 5 2 20 0 15 0 228341362 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=11077984 memory=6153433744107268204 CPUtime=0.1 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 72 12865 0 0 3 0 5 2 20 0 15 0 228341362 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=11077984 memory=7669741651294448983 CPUtime=0.1 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 1402 12865 0 0 3 0 5 2 20 0 15 0 228341364 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 18 12865 0 0 0 0 5 2 20 0 15 0 228341364 11343855616 121204 33554432000 4194304 4196468 140728856552528 139882655638752 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341365 11343855616 121204 33554432000 4194304 4196468 140728856552528 139882454311680 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=11077984 memory=139717165406541 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11343855616 121204 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=11077984 memory=279434330809968 CPUtime=2.42 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 9351 12865 0 0 233 2 5 2 20 0 15 0 228341367 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=11077984 memory=0 CPUtime=2.44 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) R 17630 17633 15729 0 -1 4202560 6074 12865 0 0 236 1 5 2 20 0 15 0 228341367 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883335044248 139883828759804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=11077984 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 6428 12865 0 0 124 2 5 2 20 0 15 0 228341367 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=11077984 memory=-3621219749712857441 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 121204 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=11077984 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1036 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 121204 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 484816 KiB
[startup+7.20132 s]
/proc/loadavg: 1.53 1.29 1.32 3/217 17699
/proc/meminfo: memFree=14859268/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=11077984 memory=570956 CPUtime=13.32 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 68362 12865 0 0 1300 25 5 2 20 0 15 0 228341352 11343855616 142739 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2769496 142739 3517 1 0 2731149 0
[pid=17633/tid=17686] ppid=17630 vsize=11077984 memory=419700 CPUtime=7.03 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) S 17630 17633 15729 0 -1 1077944384 41116 12865 0 0 682 14 5 2 20 0 15 0 228341361 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883815912992 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=11077984 memory=14127849082719526 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 234 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=11077984 memory=6944656575208382560 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 115 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=11077984 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 271 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=11077984 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) R 17630 17633 15729 0 -1 1077944384 74 12865 0 0 3 1 5 2 20 0 15 0 228341362 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883381963680 139883844089557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=11077984 memory=8562125494162282060 CPUtime=0.1 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 1425 12865 0 0 3 0 5 2 20 0 15 0 228341364 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883337147168 139883844089557 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=11077984 memory=1414353297708861353 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 18 12865 0 0 0 0 5 2 20 0 15 0 228341364 11343855616 142739 33554432000 4194304 4196468 140728856552528 139882655638752 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=11077984 memory=-7522837415797432223 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341365 11343855616 142739 33554432000 4194304 4196468 140728856552528 139882454311680 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=11077984 memory=-7522837583045875833 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11343855616 142739 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=11077984 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 9351 12865 0 0 234 2 5 2 20 0 15 0 228341367 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=11077984 memory=6791534058613427641 CPUtime=2.44 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 6092 12865 0 0 236 1 5 2 20 0 15 0 228341367 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=11077984 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 6429 12865 0 0 124 2 5 2 20 0 15 0 228341367 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=11077984 memory=7156609311619769938 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 142739 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=11077984 memory=139717165224881 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1036 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 142739 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 13.32 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 570956 KiB
[startup+7.40077 s]
/proc/loadavg: 1.53 1.29 1.32 3/217 17699
/proc/meminfo: memFree=14859268/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=11077984 memory=571048 CPUtime=13.52 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 68388 12865 0 0 1320 25 5 2 20 0 15 0 228341352 11343855616 142762 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2769496 142762 3517 1 0 2731149 0
[pid=17633/tid=17686] ppid=17630 vsize=11077984 memory=61944 CPUtime=7.23 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 41117 12865 0 0 702 14 5 2 20 0 15 0 228341361 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883815912992 139883421489462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=11077984 memory=1116 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 234 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=11077984 memory=2144 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 115 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=11077984 memory=1752 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 271 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=11077984 memory=748 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 74 12865 0 0 3 1 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=11077984 memory=1820 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 1450 12865 0 0 4 0 5 2 20 0 15 0 228341364 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=11077984 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 18 12865 0 0 0 0 5 2 20 0 15 0 228341364 11343855616 142762 33554432000 4194304 4196468 140728856552528 139882655638752 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=11077984 memory=3732 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341365 11343855616 142762 33554432000 4194304 4196468 140728856552528 139882454311680 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=11077984 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=11077984 memory=10624 CPUtime=2.43 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 9351 12865 0 0 234 2 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=11077984 memory=1624 CPUtime=2.44 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 6092 12865 0 0 236 1 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=11077984 memory=6768 CPUtime=1.33 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 6429 12865 0 0 124 2 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=11077984 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 142762 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=11077984 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1036 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 13.52 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 571048 KiB
[startup+7.5008 s]
/proc/loadavg: 1.53 1.29 1.32 3/217 17699
/proc/meminfo: memFree=14859268/32770624 swapFree=67108504/67108860
[pid=17633] ppid=17630 vsize=11077984 memory=571048 CPUtime=13.62 cores=1,3,5,7
/proc/17633/stat : 17633 (java) S 17630 17633 15729 0 -1 1077944320 68388 12865 0 0 1330 25 5 2 20 0 15 0 228341352 11343855616 142762 33554432000 4194304 4196468 140728856552528 140728856535072 139883844079351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
/proc/17633/statm: 2769496 142762 3517 1 0 2731149 0
[pid=17633/tid=17686] ppid=17630 vsize=11077984 memory=11169 CPUtime=7.33 cores=1,3,5,7
/proc/17633/task/17686/stat : 17686 (java) R 17630 17633 15729 0 -1 4202560 41117 12865 0 0 712 14 5 2 20 0 15 0 228341361 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883815912992 139883421285428 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17687] ppid=17630 vsize=11077984 memory=288370334657668008 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17687/stat : 17687 (java) S 17630 17633 15729 0 -1 1077944384 234 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883848322064 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17688] ppid=17630 vsize=11077984 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17688/stat : 17688 (java) S 17630 17633 15729 0 -1 1077944384 115 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883384069264 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17689] ppid=17630 vsize=11077984 memory=61944 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17689/stat : 17689 (java) S 17630 17633 15729 0 -1 1077944384 271 12865 0 0 4 0 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883383016208 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17690] ppid=17630 vsize=11077984 memory=482508 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17690/stat : 17690 (java) S 17630 17633 15729 0 -1 1077944384 74 12865 0 0 3 1 5 2 20 0 15 0 228341362 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883381963664 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17691] ppid=17630 vsize=11077984 memory=1296 CPUtime=0.11 cores=1,3,5,7
/proc/17633/task/17691/stat : 17691 (java) S 17630 17633 15729 0 -1 1077944384 1450 12865 0 0 4 0 5 2 20 0 15 0 228341364 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883337148656 139883844090498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17692] ppid=17630 vsize=11077984 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17692/stat : 17692 (java) S 17630 17633 15729 0 -1 1077944384 18 12865 0 0 0 0 5 2 20 0 15 0 228341364 11343855616 142762 33554432000 4194304 4196468 140728856552528 139882655638752 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17693] ppid=17630 vsize=11077984 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17693/stat : 17693 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341365 11343855616 142762 33554432000 4194304 4196468 140728856552528 139882454311680 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17694] ppid=17630 vsize=11077984 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17694/stat : 17694 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139882146912208 139883844097947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17695] ppid=17630 vsize=11077984 memory=3816 CPUtime=2.43 cores=1,3,5,7
/proc/17633/task/17695/stat : 17695 (java) S 17630 17633 15729 0 -1 1077944384 9351 12865 0 0 234 2 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883336096496 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17696] ppid=17630 vsize=11077984 memory=0 CPUtime=2.44 cores=1,3,5,7
/proc/17633/task/17696/stat : 17696 (java) S 17630 17633 15729 0 -1 1077944384 6092 12865 0 0 236 1 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883335043952 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17697] ppid=17630 vsize=11077984 memory=279434331238776 CPUtime=1.33 cores=1,3,5,7
/proc/17633/task/17697/stat : 17697 (java) S 17630 17633 15729 0 -1 1077944384 6429 12865 0 0 124 2 5 2 20 0 15 0 228341367 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883333990896 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17698] ppid=17630 vsize=11077984 memory=279434330818592 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17698/stat : 17698 (java) S 17630 17633 15729 0 -1 1077944384 3 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 142762 33554432000 4194304 4196468 140728856552528 139881716116320 139883844089557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
[pid=17633/tid=17699] ppid=17630 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17633/task/17699/stat : 17699 (java) S 17630 17633 15729 0 -1 1077944384 1036 12865 0 0 0 0 5 2 20 0 15 0 228341368 11343855616 142762 33554432000 4194304 4196468 140728856552528 139883332938288 139883844090498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9498624 140728856554094 140728856556892 140728856556892 140728856559567 0
Current children cumulated CPU time: 13.62 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 571048 KiB
Child status: 0
Real time (s): 7.55278
CPU time (s): 13.701
CPU user time (s): 13.4006
CPU system time (s): 0.300447
CPU usage (%): 181.404
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 571048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4006
system time used= 0.300447
maximum resident set size= 573184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81458
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= 6612
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 17633
# total CPU time (s): 13.701
# total CPU user time (s): 13.4006
# total CPU system time (s): 0.300447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064811 second user time and 0.118185 second system time
The end