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 (10049 MiB free)
memory of node 1: 16384 MiB (11199 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294349-1532458216/watcher-4294349-1532458216 -o /tmp/evaluation-result-4294349-1532458216/solver-4294349-1532458216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1037715651 -superng HOME/instance-4294349-1532458216.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=26775, runsolver pid=26772
[startup+0.100111 s]*
/proc/loadavg: 1.12 1.27 1.29 3/214 26812
/proc/meminfo: memFree=21745944/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/26775/stat : 26775 (bash) S 26772 26775 24765 0 -1 4202496 875 5671 0 0 0 0 0 1 20 0 1 0 63384790 115974144 403 33554432000 4194304 5098028 140731650526384 140731650520392 140622141156352 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 13713408 140731650532501 140731650532648 140731650532648 140731650535406 0
/proc/26775/statm: 28314 403 319 221 0 119 0
[pid=26802] ppid=26775 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/26802/stat : 26802 (bash) S 26775 26775 24765 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 63384792 115974144 178 33554432000 4194304 5098028 140731650526384 140731650519064 140622140981884 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13713408 140731650532501 140731650532648 140731650532648 140731650535406 0
/proc/26802/statm: 28314 178 94 221 0 119 0
[pid=26803] ppid=26802 vsize=10260324 memory=21428 CPUtime=0.04 cores=0,2,4,6
/proc/26803/stat : 26803 (java) S 26802 26775 24765 0 -1 1077944320 4131 0 0 0 3 1 0 0 20 0 9 0 63384792 10506571776 5357 33554432000 4194304 4196468 140734034805040 140734034787584 140304378593015 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
/proc/26803/statm: 2565081 5357 2193 1 0 2527622 0
[pid=26803/tid=26805] ppid=26802 vsize=10260324 memory=-6949179150270506172 CPUtime=0.04 cores=0,2,4,6
/proc/26803/task/26805/stat : 26805 (java) R 26802 26775 24765 0 -1 4202560 2787 0 0 0 3 1 0 0 20 0 9 0 63384794 10506571776 5357 33554432000 4194304 4196468 140734034805040 140304382828408 140304378614941 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26806] ppid=26802 vsize=10260324 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26806/stat : 26806 (java) S 26802 26775 24765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 63384797 10506571776 5357 33554432000 4194304 4196468 140734034805040 140304304667408 140304378603221 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26807] ppid=26802 vsize=10260324 memory=139727751046784 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26807/stat : 26807 (java) S 26802 26775 24765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 63384797 10506571776 5357 33554432000 4194304 4196468 140734034805040 140304303614864 140304378603221 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26808] ppid=26802 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26808/stat : 26808 (java) S 26802 26775 24765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 63384797 10506571776 5357 33554432000 4194304 4196468 140734034805040 140304302562320 140304378603221 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26809] ppid=26802 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26809/stat : 26809 (java) S 26802 26775 24765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 63384797 10506571776 5357 33554432000 4194304 4196468 140734034805040 140303981866128 140304378603221 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26810] ppid=26802 vsize=10260324 memory=139727751046784 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26810/stat : 26810 (java) S 26802 26775 24765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 63384798 10506571776 5357 33554432000 4194304 4196468 140734034805040 140303481452528 140304378604162 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26811] ppid=26802 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26811/stat : 26811 (java) S 26802 26775 24765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 63384798 10506571776 5357 33554432000 4194304 4196468 140734034805040 140303480398752 140304378603221 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26803/tid=26812] ppid=26802 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26803/task/26812/stat : 26812 (java) S 26802 26775 24765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 63384799 10506571776 5357 33554432000 4194304 4196468 140734034805040 140303479346160 140304378603221 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38182912 140734034806051 140734034806065 140734034806065 140734034808783 0
[pid=26804] ppid=26802 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/26804/stat : 26804 (awk) S 26802 26775 24765 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 63384792 116211712 243 33554432000 4194304 4609284 140727129532768 140727129531944 140372220361728 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 24551424 140727129539923 140727129539953 140727129539953 140727129542639 0
/proc/26804/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24724 KiB
[startup+0.210461 s]*
/proc/loadavg: 1.12 1.27 1.29 3/212 26836
/proc/meminfo: memFree=21740676/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10751868 memory=29988 CPUtime=0.15 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 6237 13118 0 0 6 1 5 3 20 0 14 0 63384790 11009912832 7497 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2687967 7497 2683 1 0 2650508 0
[pid=26775/tid=26828] ppid=26772 vsize=10751868 memory=-6517102902069810590 CPUtime=0.12 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) D 26772 26775 24765 0 -1 1077944384 3023 13118 0 0 4 0 5 3 20 0 14 0 63384803 11009912832 7497 33554432000 4194304 4196468 140733330461536 139725261678400 139725289864253 0 4 0 16800975 18446744072101666340 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10751868 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 14 0 63384805 11009912832 7497 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10751868 memory=139727751046784 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 14 0 63384805 11009912832 7497 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10751868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 14 0 63384805 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10751868 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 14 0 63384805 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10751868 memory=139727751046784 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 14 0 63384806 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10751868 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 13 13118 0 0 0 0 5 3 20 0 14 0 63384807 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724480046496 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10751868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 14 0 63384807 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724345828848 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10751868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 14 0 63384811 11009912832 7497 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10751868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) S 26772 26775 24765 0 -1 1077944384 29 13118 0 0 0 0 5 3 20 0 14 0 63384811 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724560586736 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10751868 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) S 26772 26775 24765 0 -1 1077944384 425 13118 0 0 0 0 5 3 20 0 14 0 63384811 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724559534192 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10751868 memory=139727751046784 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) S 26772 26775 24765 0 -1 1077944384 543 13118 0 0 0 0 5 3 20 0 14 0 63384811 11009912832 7497 33554432000 4194304 4196468 140733330461536 139724558481648 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10751868 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 14 0 63384811 11009912832 7497 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10751868 KiB
Current children cumulated memory: 29988 KiB
[startup+0.310681 s]*
/proc/loadavg: 1.12 1.27 1.29 3/217 26841
/proc/meminfo: memFree=21727720/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10818856 memory=45168 CPUtime=0.28 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 9213 13118 0 0 18 2 5 3 20 0 15 0 63384790 11078508544 11292 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2704714 11292 2937 1 0 2667149 0
[pid=26775/tid=26828] ppid=26772 vsize=10818856 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 5824 13118 0 0 11 1 5 3 20 0 15 0 63384803 11078508544 11292 33554432000 4194304 4196468 140733330461536 139725261638032 139725273920862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10818856 memory=3691042058319900680 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384805 11078508544 11292 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10818856 memory=139727751118624 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 15 0 63384805 11078508544 11292 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10818856 memory=74212 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 15 0 63384805 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10818856 memory=35 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384805 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10818856 memory=139727751125536 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 15 0 63384806 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10818856 memory=35 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 13 13118 0 0 0 0 5 3 20 0 15 0 63384807 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724480046496 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10818856 memory=83396 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724345828848 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10818856 memory=139727634299553 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11078508544 11292 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) S 26772 26775 24765 0 -1 1077944384 116 13118 0 0 1 0 5 3 20 0 15 0 63384811 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724560586736 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10818856 memory=139727634301967 CPUtime=0.09 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) S 26772 26775 24765 0 -1 1077944384 470 13118 0 0 1 0 5 3 20 0 15 0 63384811 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724559534192 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10818856 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) S 26772 26775 24765 0 -1 1077944384 586 13118 0 0 3 0 5 3 20 0 15 0 63384811 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724558481648 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11078508544 11292 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26841] ppid=26772 vsize=10818856 memory=139727751046784 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26841/stat : 26841 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384812 11078508544 11292 33554432000 4194304 4196468 140733330461536 139724557429552 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 45168 KiB
[startup+0.700798 s]
/proc/loadavg: 1.12 1.27 1.29 4/217 26841
/proc/meminfo: memFree=21714200/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10819352 memory=66152 CPUtime=0.73 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 12108 13118 0 0 62 3 5 3 20 0 15 0 63384790 11079016448 16538 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2704838 16538 3184 1 0 2667149 0
[pid=26775/tid=26828] ppid=26772 vsize=10819352 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 8593 13118 0 0 42 3 5 3 20 0 15 0 63384803 11079016448 16538 33554432000 4194304 4196468 140733330461536 139725261666896 139725289852310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10819352 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384805 11079016448 16538 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10819352 memory=279455268424320 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 15 0 63384805 11079016448 16538 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10819352 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 15 0 63384805 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384805 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10819352 memory=4641051020500883811 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 2 13118 0 0 0 0 5 3 20 0 15 0 63384806 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10819352 memory=7019257425709197167 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 13 13118 0 0 0 0 5 3 20 0 15 0 63384807 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724480046496 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10819352 memory=4638778398332698726 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724345828848 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11079016448 16538 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) S 26772 26775 24765 0 -1 1077944384 201 13118 0 0 4 0 5 3 20 0 15 0 63384811 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724560586736 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10819352 memory=279455268900896 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) S 26772 26775 24765 0 -1 1077944384 476 13118 0 0 2 0 5 3 20 0 15 0 63384811 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724559534192 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10819352 memory=288230583166042425 CPUtime=0.2 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) R 26772 26775 24765 0 -1 4202560 620 13118 0 0 12 0 5 3 20 0 15 0 63384811 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724558481648 139725289861722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10819352 memory=15824378344507954 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11079016448 16538 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26841] ppid=26772 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26841/stat : 26841 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384812 11079016448 16538 33554432000 4194304 4196468 140733330461536 139724557429552 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 66152 KiB
[startup+1.50077 s]
/proc/loadavg: 1.12 1.27 1.29 6/217 26841
/proc/meminfo: memFree=21678552/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10834252 memory=173944 CPUtime=2.01 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 23388 13118 0 0 183 10 5 3 20 0 15 0 63384790 11094274048 43486 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2708563 43486 3466 1 0 2670221 0
[pid=26775/tid=26828] ppid=26772 vsize=10834252 memory=6944656592455360604 CPUtime=1.24 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 17523 13118 0 0 111 5 5 3 20 0 15 0 63384803 11094274048 43486 33554432000 4194304 4196468 140733330461536 139725261657568 139725289862301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10834252 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 19 13118 0 0 0 0 5 3 20 0 15 0 63384805 11094274048 43486 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10834252 memory=6944656592385698452 CPUtime=0.09 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 48 13118 0 0 1 0 5 3 20 0 15 0 63384805 11094274048 43486 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10834252 memory=-7665536046109432865 CPUtime=0.09 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 67 13118 0 0 1 0 5 3 20 0 15 0 63384805 11094274048 43486 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10834252 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 289 13118 0 0 0 0 5 3 20 0 15 0 63384805 11094274048 43486 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 340 13118 0 0 1 0 5 3 20 0 15 0 63384806 11094274048 43486 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 14 13118 0 0 0 0 5 3 20 0 15 0 63384807 11094274048 43486 33554432000 4194304 4196468 140733330461536 139724480046560 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11094274048 43486 33554432000 4194304 4196468 140733330461536 139724345828864 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10834252 memory=6009326253065137253 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
[startup+3.98713 s]
# the end of solver process 26775 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.66178 s, system=0.24644 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20163 s]
/proc/loadavg: 1.12 1.27 1.29 4/217 26841
/proc/meminfo: memFree=21547896/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10846560 memory=237876 CPUtime=5.62 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 35924 13118 0 0 539 15 5 3 20 0 15 0 63384790 11106877440 59469 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2711640 59469 3490 1 0 2673293 0
[pid=26775/tid=26828] ppid=26772 vsize=10846560 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 24402 13118 0 0 272 8 5 3 20 0 15 0 63384803 11106877440 59469 33554432000 4194304 4196468 140733330461536 139725261673520 139725269141586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10846560 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 41 13118 0 0 3 0 5 3 20 0 15 0 63384805 11106877440 59469 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10846560 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 53 13118 0 0 2 0 5 3 20 0 15 0 63384805 11106877440 59469 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10846560 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 67 13118 0 0 2 0 5 3 20 0 15 0 63384805 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10846560 memory=139727634605184 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 325 13118 0 0 3 0 5 3 20 0 15 0 63384805 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10846560 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 1446 13118 0 0 2 0 5 3 20 0 15 0 63384806 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10846560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 14 13118 0 0 0 0 5 3 20 0 15 0 63384807 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724480046560 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10846560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724345828864 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10846560 memory=279455268855968 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11106877440 59469 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10846560 memory=1927903446785 CPUtime=0.69 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) R 26772 26775 24765 0 -1 4202560 1238 13118 0 0 60 1 5 3 20 0 15 0 63384811 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724560566960 139725269683983 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10846560 memory=1936493381377 CPUtime=1.01 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) R 26772 26775 24765 0 -1 4202560 3229 13118 0 0 93 0 5 3 20 0 15 0 63384811 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724559534192 139725271366718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10846560 memory=2348810241793 CPUtime=1.05 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) R 26772 26775 24765 0 -1 1077944384 2912 13118 0 0 96 1 5 3 20 0 15 0 63384811 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724558481648 139725289851522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10846560 memory=279455268510064 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11106877440 59469 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26841] ppid=26772 vsize=10846560 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26841/stat : 26841 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384812 11106877440 59469 33554432000 4194304 4196468 140733330461536 139724557429552 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 237876 KiB
[startup+3.60158 s]
/proc/loadavg: 1.12 1.27 1.29 4/217 26841
/proc/meminfo: memFree=21547896/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10916496 memory=297844 CPUtime=6.7 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 56342 13118 0 0 644 18 5 3 20 0 15 0 63384790 11178491904 74461 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2729124 74461 3491 1 0 2690777 0
[pid=26775/tid=26828] ppid=26772 vsize=10916496 memory=63386941 CPUtime=3.27 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 38061 13118 0 0 309 10 5 3 20 0 15 0 63384803 11178491904 74461 33554432000 4194304 4196468 140733330461536 139725261670032 139724903060006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10916496 memory=11168165078 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 41 13118 0 0 3 0 5 3 20 0 15 0 63384805 11178491904 74461 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10916496 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 53 13118 0 0 2 0 5 3 20 0 15 0 63384805 11178491904 74461 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10916496 memory=19464 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 67 13118 0 0 2 0 5 3 20 0 15 0 63384805 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10916496 memory=2420 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 325 13118 0 0 3 0 5 3 20 0 15 0 63384805 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10916496 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 1512 13118 0 0 2 0 5 3 20 0 15 0 63384806 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10916496 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 14 13118 0 0 0 0 5 3 20 0 15 0 63384807 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724480046560 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10916496 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724345828864 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10916496 memory=279455269147424 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11178491904 74461 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10916496 memory=16068 CPUtime=1.09 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) R 26772 26775 24765 0 -1 4202560 6377 13118 0 0 100 1 5 3 20 0 15 0 63384811 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724560572896 139725269086223 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10916496 memory=2244 CPUtime=1.18 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) R 26772 26775 24765 0 -1 4202560 3650 13118 0 0 109 1 5 3 20 0 15 0 63384811 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724559525520 139725271361250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10916496 memory=139727634580592 CPUtime=1.17 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) S 26772 26775 24765 0 -1 1077944384 4041 13118 0 0 108 1 5 3 20 0 15 0 63384811 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724558481648 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10916496 memory=5788 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11178491904 74461 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26841] ppid=26772 vsize=10916496 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26841/stat : 26841 (java) S 26772 26775 24765 0 -1 1077944384 7 13118 0 0 0 0 5 3 20 0 15 0 63384812 11178491904 74461 33554432000 4194304 4196468 140733330461536 139724557429552 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 6.7 s
Current children cumulated vsize: 10916496 KiB
Current children cumulated memory: 297844 KiB
[startup+3.80158 s]
/proc/loadavg: 1.12 1.27 1.29 4/217 26841
/proc/meminfo: memFree=21547896/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10916996 memory=300276 CPUtime=7.36 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 58901 13118 0 0 709 19 5 3 20 0 15 0 63384790 11179003904 75069 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2729249 75069 3493 1 0 2690902 0
[pid=26775/tid=26828] ppid=26772 vsize=10916996 memory=8372 CPUtime=3.47 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 38653 13118 0 0 329 10 5 3 20 0 15 0 63384803 11179003904 75069 33554432000 4194304 4196468 140733330461536 139725261668624 139724903697909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10916996 memory=4616 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 41 13118 0 0 3 0 5 3 20 0 15 0 63384805 11179003904 75069 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10916996 memory=1424 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 53 13118 0 0 2 0 5 3 20 0 15 0 63384805 11179003904 75069 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10916996 memory=15868 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 67 13118 0 0 2 0 5 3 20 0 15 0 63384805 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10916996 memory=4052 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 325 13118 0 0 3 0 5 3 20 0 15 0 63384805 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10916996 memory=18252 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 1513 13118 0 0 2 0 5 3 20 0 15 0 63384806 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10916996 memory=11684 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 14 13118 0 0 0 0 5 3 20 0 15 0 63384807 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724480046560 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10916996 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724345828864 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10916996 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11179003904 75069 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10916996 memory=960 CPUtime=1.29 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) R 26772 26775 24765 0 -1 4202560 7890 13118 0 0 119 2 5 3 20 0 15 0 63384811 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724560572528 139725271384575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10916996 memory=1232 CPUtime=1.34 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) R 26772 26775 24765 0 -1 4202560 3841 13118 0 0 125 1 5 3 20 0 15 0 63384811 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724559520192 139725273326521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10916996 memory=279455268570752 CPUtime=1.28 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) R 26772 26775 24765 0 -1 4202560 4317 13118 0 0 118 2 5 3 20 0 15 0 63384811 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724558481648 139725282937211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10916996 memory=196704 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11179003904 75069 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26841] ppid=26772 vsize=10916996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26841/stat : 26841 (java) S 26772 26775 24765 0 -1 1077944384 7 13118 0 0 0 0 5 3 20 0 15 0 63384812 11179003904 75069 33554432000 4194304 4196468 140733330461536 139724557429552 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 10916996 KiB
Current children cumulated memory: 300276 KiB
[startup+3.90158 s]
/proc/loadavg: 1.12 1.27 1.29 4/217 26841
/proc/meminfo: memFree=21547896/32770624 swapFree=67108860/67108860
[pid=26775] ppid=26772 vsize=10917000 memory=300972 CPUtime=7.69 cores=0,2,4,6
/proc/26775/stat : 26775 (java) S 26772 26775 24765 0 -1 1077944320 60662 13118 0 0 742 19 5 3 20 0 15 0 63384790 11179008000 75243 33554432000 4194304 4196468 140733330461536 140733330444080 139725289840375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
/proc/26775/statm: 2729250 75243 3493 1 0 2690903 0
[pid=26775/tid=26828] ppid=26772 vsize=10917000 memory=6656426216303648864 CPUtime=3.57 cores=0,2,4,6
/proc/26775/task/26828/stat : 26828 (java) R 26772 26775 24765 0 -1 4202560 38731 13118 0 0 339 10 5 3 20 0 15 0 63384803 11179008000 75243 33554432000 4194304 4196468 140733330461536 139725261668528 139724903190537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26829] ppid=26772 vsize=10917000 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26829/stat : 26829 (java) S 26772 26775 24765 0 -1 1077944384 41 13118 0 0 3 0 5 3 20 0 15 0 63384805 11179008000 75243 33554432000 4194304 4196468 140733330461536 139725294082320 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26830] ppid=26772 vsize=10917000 memory=11153464555 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26830/stat : 26830 (java) S 26772 26775 24765 0 -1 1077944384 53 13118 0 0 2 0 5 3 20 0 15 0 63384805 11179008000 75243 33554432000 4194304 4196468 140733330461536 139725219387792 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26831] ppid=26772 vsize=10917000 memory=235992 CPUtime=0.1 cores=0,2,4,6
/proc/26775/task/26831/stat : 26831 (java) S 26772 26775 24765 0 -1 1077944384 67 13118 0 0 2 0 5 3 20 0 15 0 63384805 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724862446096 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26832] ppid=26772 vsize=10917000 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26832/stat : 26832 (java) S 26772 26775 24765 0 -1 1077944384 325 13118 0 0 3 0 5 3 20 0 15 0 63384805 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724861393552 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26833] ppid=26772 vsize=10917000 memory=279455268476608 CPUtime=0.11 cores=0,2,4,6
/proc/26775/task/26833/stat : 26833 (java) S 26772 26775 24765 0 -1 1077944384 1513 13118 0 0 3 0 5 3 20 0 15 0 63384806 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724561639920 139725289851522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26834] ppid=26772 vsize=10917000 memory=13855 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26834/stat : 26834 (java) S 26772 26775 24765 0 -1 1077944384 14 13118 0 0 0 0 5 3 20 0 15 0 63384807 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724480046560 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26835] ppid=26772 vsize=10917000 memory=9049597078788538541 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26835/stat : 26835 (java) S 26772 26775 24765 0 -1 1077944384 1 13118 0 0 0 0 5 3 20 0 15 0 63384807 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724345828864 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26836] ppid=26772 vsize=10917000 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26836/stat : 26836 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11179008000 75243 33554432000 4194304 4196468 140733330461536 139723837102800 139725289858971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26837] ppid=26772 vsize=10917000 memory=299164 CPUtime=1.39 cores=0,2,4,6
/proc/26775/task/26837/stat : 26837 (java) R 26772 26775 24765 0 -1 4202560 8928 13118 0 0 129 2 5 3 20 0 15 0 63384811 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724560572240 139725271384593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26838] ppid=26772 vsize=10917000 memory=290152 CPUtime=1.44 cores=0,2,4,6
/proc/26775/task/26838/stat : 26838 (java) R 26772 26775 24765 0 -1 4202560 4178 13118 0 0 135 1 5 3 20 0 15 0 63384811 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724559519264 139725282129757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26839] ppid=26772 vsize=10917000 memory=279455268380352 CPUtime=1.31 cores=0,2,4,6
/proc/26775/task/26839/stat : 26839 (java) S 26772 26775 24765 0 -1 1077944384 4613 13118 0 0 121 2 5 3 20 0 15 0 63384811 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724558481648 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26840] ppid=26772 vsize=10917000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26840/stat : 26840 (java) S 26772 26775 24765 0 -1 1077944384 3 13118 0 0 0 0 5 3 20 0 15 0 63384811 11179008000 75243 33554432000 4194304 4196468 140733330461536 139723803544160 139725289850581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
[pid=26775/tid=26841] ppid=26772 vsize=10917000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26775/task/26841/stat : 26841 (java) S 26772 26775 24765 0 -1 1077944384 7 13118 0 0 0 0 5 3 20 0 15 0 63384812 11179008000 75243 33554432000 4194304 4196468 140733330461536 139724557429552 139725289851522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140733330462891 140733330466140 140733330466140 140733330468815 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 10917000 KiB
Current children cumulated memory: 300972 KiB
Child status: 0
Real time (s): 3.98719
CPU time (s): 7.90822
CPU user time (s): 7.66178
CPU system time (s): 0.24644
CPU usage (%): 198.341
Max. virtual memory (cumulated for all children) (KiB): 10917000
Max. memory (cumulated for all children) (KiB): 300972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.66178
system time used= 0.24644
maximum resident set size= 303204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74531
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= 5683
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 26775
# total CPU time (s): 7.90822
# total CPU user time (s): 7.66178
# total CPU system time (s): 0.24644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045815 second user time and 0.078094 second system time
The end