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 (12162 MiB free)
memory of node 1: 16384 MiB (10116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305099-1534113238/watcher-4305099-1534113238 -o /tmp/evaluation-result-4305099-1534113238/solver-4305099-1534113238 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1492201116 HOME/instance-4305099-1534113238.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=863, runsolver pid=860
[startup+0.100161 s]*
/proc/loadavg: 1.47 1.37 1.35 3/207 926
/proc/meminfo: memFree=22810756/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=10005480 memory=14648 CPUtime=0.08 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 4315 12838 0 0 1 0 5 2 20 0 6 0 228886942 10245611520 3662 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2501370 3662 1932 1 0 2489808 0
[pid=863/tid=922] ppid=860 vsize=10005480 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 2258 12838 0 0 1 0 5 2 20 0 6 0 228886951 10245611520 3794 33554432000 4194304 4196468 140737302395328 139835349066320 139835361310046 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=10005480 memory=4294967641 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 6 0 228886952 10245611520 3794 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=10005480 memory=139692096907235 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 6 0 228886952 10245611520 3794 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 6 0 228886952 10245611520 3794 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 6 0 228886952 10245611520 3794 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14648 KiB
[startup+0.209991 s]*
/proc/loadavg: 1.47 1.37 1.35 3/216 935
/proc/meminfo: memFree=22786272/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=10982744 memory=41592 CPUtime=0.25 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 7548 12838 0 0 17 1 5 2 20 0 15 0 228886942 11246329856 10398 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2745686 10398 2990 1 0 2708109 0
[pid=863/tid=922] ppid=860 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 4753 12838 0 0 11 1 5 2 20 0 15 0 228886951 11246329856 11124 33554432000 4194304 4196468 140737302395328 139835349053312 139835369466686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=10982744 memory=4294967641 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246329856 11124 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=10982744 memory=139692096907235 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=10982744 memory=139692095956608 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 15 0 228886953 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 13 12838 0 0 0 0 5 2 20 0 15 0 228886954 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834149561760 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886954 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834001712624 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246329856 11124 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 550 12838 0 0 1 0 5 2 20 0 15 0 228886957 11246329856 11124 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 75 12838 0 0 1 0 5 2 20 0 15 0 228886957 11246329856 11190 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=10982744 memory=139692095956608 CPUtime=0.1 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 674 12838 0 0 3 0 5 2 20 0 15 0 228886957 11246329856 11190 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246329856 11190 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=10982744 memory=139692095956608 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246329856 11190 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41592 KiB
[startup+0.31037 s]*
/proc/loadavg: 1.47 1.37 1.35 3/216 935
/proc/meminfo: memFree=22773728/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=10983192 memory=55036 CPUtime=0.38 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 10797 12838 0 0 29 2 5 2 20 0 15 0 228886942 11246788608 13759 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2745798 13759 3109 1 0 2708109 0
[pid=863/tid=922] ppid=860 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 7349 12838 0 0 20 1 5 2 20 0 15 0 228886951 11246788608 13867 33554432000 4194304 4196468 140737302395328 139835349041568 139835361310046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 13867 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 15 0 228886953 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 13 12838 0 0 0 0 5 2 20 0 15 0 228886954 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834149561760 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886954 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834001712624 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246788608 13867 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 557 12838 0 0 1 0 5 2 20 0 15 0 228886957 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 80 12838 0 0 1 0 5 2 20 0 15 0 228886957 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=10983192 memory=139692095956608 CPUtime=0.12 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 704 12838 0 0 5 0 5 2 20 0 15 0 228886957 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246788608 13867 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=10983192 memory=139692095956608 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246788608 13867 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55036 KiB
[startup+0.70083 s]
/proc/loadavg: 1.47 1.37 1.35 3/216 935
/proc/meminfo: memFree=22763928/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=10983192 memory=88108 CPUtime=0.99 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 17149 12838 0 0 88 4 5 2 20 0 15 0 228886942 11246788608 22027 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2745798 22027 3238 1 0 2708109 0
[pid=863/tid=922] ppid=860 vsize=10983192 memory=7668900524563524185 CPUtime=0.66 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 12411 12838 0 0 56 3 5 2 20 0 15 0 228886951 11246788608 22027 33554432000 4194304 4196468 140737302395328 139835349049848 139835361310046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=10983192 memory=279383998731072 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 22027 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=10983192 memory=139691999703666 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=10983192 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 15 0 228886952 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=10983192 memory=1800 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 5 12838 0 0 0 0 5 2 20 0 15 0 228886953 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=10983192 memory=868 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 13 12838 0 0 0 0 5 2 20 0 15 0 228886954 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834149561760 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=10983192 memory=6792 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886954 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834001712624 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=10983192 memory=11628 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246788608 22027 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=10983192 memory=752 CPUtime=0.13 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 948 12838 0 0 6 0 5 2 20 0 15 0 228886957 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=10983192 memory=139692095955441 CPUtime=0.17 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 697 12838 0 0 10 0 5 2 20 0 15 0 228886957 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 871 12838 0 0 13 0 5 2 20 0 15 0 228886957 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246788608 22027 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886957 11246788608 22027 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88108 KiB
[startup+1.50073 s]
/proc/loadavg: 1.47 1.37 1.35 3/216 935
/proc/meminfo: memFree=22718216/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=10991948 memory=253692 CPUtime=2.71 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 21995 12838 0 0 254 10 5 2 20 0 15 0 228886942 11255754752 63423 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2747987 63423 3465 1 0 2709645 0
[pid=863/tid=922] ppid=860 vsize=10991948 memory=7232890293113415765 CPUtime=1.42 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 15047 12838 0 0 129 6 5 2 20 0 15 0 228886951 11255754752 63423 33554432000 4194304 4196468 140737302395328 139835349062784 139834951133464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=10991948 memory=7232890293113415765 CPUtime=0.09 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 25 12838 0 0 2 0 5 2 20 0 15 0 228886952 11255754752 63423 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=10991948 memory=279383999000048 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 295 12838 0 0 0 0 5 2 20 0 15 0 228886952 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 41 12838 0 0 1 0 5 2 20 0 15 0 228886952 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 25 12838 0 0 1 0 5 2 20 0 15 0 228886952 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 94 12838 0 0 0 0 5 2 20 0 15 0 228886953 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=10991948 memory=54 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 13 12838 0 0 0 0 5 2 20 0 15 0 228886954 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834149561760 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=10991948 memory=11722 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 2 12838 0 0 0 0 5 2 20 0 15 0 228886954 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834001712624 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11255754752 63423 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=10991948 memory=62272 CPUtime=0.43 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) R 860 863 30220 0 -1 4202560 1456 12838 0 0 36 0 5 2 20 0 15 0 228886957 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834801755248 139835362840303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=10991948 memory=1100 CPUtime=0.51 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) R 860 863 30220 0 -1 4202560 1355 12838 0 0 44 0 5 2 20 0 15 0 228886957 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834800703600 139835361629089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=10991948 memory=2144 CPUtime=0.42 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 1443 12838 0 0 35 0 5 2 20 0 15 0 228886957 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=10991948 memory=1752 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11255754752 63423 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=10991948 memory=5752 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 1 12838 0 0 0 0 5 2 20 0 15 0 228886957 11255754752 63423 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 144959 12838 0 0 237568 63 5 2 20 0 15 0 228886951 11343855616 613235 33554432000 4194304 4196468 140737302395328 139835349058928 139834956700198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=11077984 memory=2452940 CPUtime=2.59 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 23351 12838 0 0 233 19 5 2 20 0 15 0 228886952 11343855616 613235 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=11077984 memory=2452936 CPUtime=2.59 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 32630 12838 0 0 230 22 5 2 20 0 15 0 228886952 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=11077984 memory=2452940 CPUtime=2.62 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 36188 12838 0 0 236 19 5 2 20 0 15 0 228886952 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=11077984 memory=2452940 CPUtime=2.61 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 34882 12838 0 0 232 22 5 2 20 0 15 0 228886952 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=11077984 memory=2452940 CPUtime=2.27 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 25434 12838 0 0 205 15 5 2 20 0 15 0 228886953 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=11077984 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 25 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834149561888 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=11077984 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 11 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834001712640 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=11077984 memory=62340 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613235 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=11077984 memory=1100 CPUtime=3.5 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 36190 12838 0 0 339 4 5 2 20 0 15 0 228886957 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=11077984 memory=4580 CPUtime=4.67 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 47787 12838 0 0 452 8 5 2 20 0 15 0 228886957 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=11077984 memory=1620 CPUtime=1.76 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 27766 12838 0 0 163 6 5 2 20 0 15 0 228886957 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=11077984 memory=2452940 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613235 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=11077984 memory=2452940 CPUtime=1.55 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 2184 12838 0 0 72 76 5 2 20 0 15 0 228886957 11343855616 613235 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2452940 KiB
[startup+2442.3 s]
/proc/loadavg: 1.13 1.22 1.33 3/216 1176
/proc/meminfo: memFree=19394000/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=11077984 memory=2452972 CPUtime=2460.26 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 420444 12838 0 0 245800 219 5 2 20 0 15 0 228886942 11343855616 613243 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2769496 613243 3521 1 0 2731149 0
[pid=863/tid=922] ppid=860 vsize=11077984 memory=2452972 CPUtime=2436.19 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 146456 12838 0 0 243549 63 5 2 20 0 15 0 228886951 11343855616 613243 33554432000 4194304 4196468 140737302395328 139835349062272 139834959865312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=11077984 memory=2452960 CPUtime=2.67 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 23544 12838 0 0 241 19 5 2 20 0 15 0 228886952 11343855616 613243 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=11077984 memory=2452968 CPUtime=2.67 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 33818 12838 0 0 238 22 5 2 20 0 15 0 228886952 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=11077984 memory=2452968 CPUtime=2.69 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 37339 12838 0 0 243 19 5 2 20 0 15 0 228886952 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=11077984 memory=2452968 CPUtime=2.68 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 35999 12838 0 0 239 22 5 2 20 0 15 0 228886952 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=11077984 memory=2452968 CPUtime=2.35 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 26073 12838 0 0 212 16 5 2 20 0 15 0 228886953 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=11077984 memory=2452972 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 25 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834149561888 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=11077984 memory=2452972 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 11 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834001712640 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=11077984 memory=2452972 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613243 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=11077984 memory=2452972 CPUtime=3.5 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 36196 12838 0 0 339 4 5 2 20 0 15 0 228886957 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=11077984 memory=2452972 CPUtime=4.67 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 48787 12838 0 0 452 8 5 2 20 0 15 0 228886957 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=11077984 memory=3812 CPUtime=1.76 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 27772 12838 0 0 163 6 5 2 20 0 15 0 228886957 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=11077984 memory=62340 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613243 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=11077984 memory=1100 CPUtime=1.6 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 2226 12838 0 0 75 78 5 2 20 0 15 0 228886957 11343855616 613243 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 2460.26 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2452972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.9 s]
/proc/loadavg: 1.37 1.26 1.33 3/215 1177
/proc/meminfo: memFree=19393916/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=11077984 memory=2452996 CPUtime=2520.08 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 425738 12838 0 0 251779 222 5 2 20 0 15 0 228886942 11343855616 613249 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2769496 613249 3521 1 0 2731149 0
[pid=863/tid=922] ppid=860 vsize=11077984 memory=2452996 CPUtime=2495.58 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 148189 12838 0 0 249488 63 5 2 20 0 15 0 228886951 11343855616 613249 33554432000 4194304 4196468 140737302395328 139835349062368 139834952333000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=11077984 memory=2452984 CPUtime=2.76 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 23607 12838 0 0 249 20 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=11077984 memory=2452992 CPUtime=2.75 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 34862 12838 0 0 246 22 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=11077984 memory=2452996 CPUtime=2.77 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 39017 12838 0 0 251 19 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=11077984 memory=2452996 CPUtime=2.77 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 36070 12838 0 0 247 23 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=11077984 memory=2452996 CPUtime=2.42 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 26716 12838 0 0 219 16 5 2 20 0 15 0 228886953 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=11077984 memory=2452996 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 25 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834149561888 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=11077984 memory=2452996 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 11 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834001712640 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=11077984 memory=488 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=11077984 memory=3812 CPUtime=3.5 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 36201 12838 0 0 339 4 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=11077984 memory=62340 CPUtime=4.67 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 48791 12838 0 0 452 8 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=11077984 memory=2452996 CPUtime=1.76 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 27780 12838 0 0 163 6 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=11077984 memory=3812 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=11077984 memory=2452996 CPUtime=1.63 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 2271 12838 0 0 77 79 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2452996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.96 s]
# the end of solver process 863 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.88 s, system=2.28531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2501.9 s]
/proc/loadavg: 1.37 1.26 1.33 3/215 1177
/proc/meminfo: memFree=19393916/32770624 swapFree=67108372/67108860
[pid=863] ppid=860 vsize=11077984 memory=2452996 CPUtime=2520.08 cores=0,2,4,6
/proc/863/stat : 863 (java) S 860 863 30220 0 -1 1077944320 425738 12838 0 0 251779 222 5 2 20 0 15 0 228886942 11343855616 613249 33554432000 4194304 4196468 140737302395328 140737302377872 139835377229559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
/proc/863/statm: 2769496 613249 3521 1 0 2731149 0
[pid=863/tid=922] ppid=860 vsize=11077984 memory=2452996 CPUtime=2495.58 cores=0,2,4,6
/proc/863/task/922/stat : 922 (java) R 860 863 30220 0 -1 4202560 148189 12838 0 0 249488 63 5 2 20 0 15 0 228886951 11343855616 613249 33554432000 4194304 4196468 140737302395328 139835349062368 139834952333000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=923] ppid=860 vsize=11077984 memory=2452984 CPUtime=2.76 cores=0,2,4,6
/proc/863/task/923/stat : 923 (java) S 860 863 30220 0 -1 1077944384 23607 12838 0 0 249 20 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139835381471504 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=924] ppid=860 vsize=11077984 memory=2452992 CPUtime=2.75 cores=0,2,4,6
/proc/863/task/924/stat : 924 (java) S 860 863 30220 0 -1 1077944384 34862 12838 0 0 246 22 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834916530576 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=925] ppid=860 vsize=11077984 memory=2452996 CPUtime=2.77 cores=0,2,4,6
/proc/863/task/925/stat : 925 (java) S 860 863 30220 0 -1 1077944384 39017 12838 0 0 251 19 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834915478032 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=926] ppid=860 vsize=11077984 memory=2452996 CPUtime=2.77 cores=0,2,4,6
/proc/863/task/926/stat : 926 (java) S 860 863 30220 0 -1 1077944384 36070 12838 0 0 247 23 5 2 20 0 15 0 228886952 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834914425488 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=927] ppid=860 vsize=11077984 memory=2452996 CPUtime=2.42 cores=0,2,4,6
/proc/863/task/927/stat : 927 (java) S 860 863 30220 0 -1 1077944384 26716 12838 0 0 219 16 5 2 20 0 15 0 228886953 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834802809328 139835377240706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=928] ppid=860 vsize=11077984 memory=2452996 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/928/stat : 928 (java) S 860 863 30220 0 -1 1077944384 25 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834149561888 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=929] ppid=860 vsize=11077984 memory=2452996 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/929/stat : 929 (java) S 860 863 30220 0 -1 1077944384 11 12838 0 0 0 0 5 2 20 0 15 0 228886954 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834001712640 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=930] ppid=860 vsize=11077984 memory=488 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/930/stat : 930 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139833694313168 139835377248155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=931] ppid=860 vsize=11077984 memory=3812 CPUtime=3.5 cores=0,2,4,6
/proc/863/task/931/stat : 931 (java) S 860 863 30220 0 -1 1077944384 36201 12838 0 0 339 4 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834801756144 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=932] ppid=860 vsize=11077984 memory=62340 CPUtime=4.67 cores=0,2,4,6
/proc/863/task/932/stat : 932 (java) S 860 863 30220 0 -1 1077944384 48791 12838 0 0 452 8 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834800703600 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=933] ppid=860 vsize=11077984 memory=2452996 CPUtime=1.76 cores=0,2,4,6
/proc/863/task/933/stat : 933 (java) S 860 863 30220 0 -1 1077944384 27780 12838 0 0 163 6 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834799651056 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=934] ppid=860 vsize=11077984 memory=3812 CPUtime=0.07 cores=0,2,4,6
/proc/863/task/934/stat : 934 (java) S 860 863 30220 0 -1 1077944384 3 12838 0 0 0 0 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139833263516256 139835377239765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
[pid=863/tid=935] ppid=860 vsize=11077984 memory=2452996 CPUtime=1.63 cores=0,2,4,6
/proc/863/task/935/stat : 935 (java) S 860 863 30220 0 -1 1077944384 2271 12838 0 0 77 79 5 2 20 0 15 0 228886957 11343855616 613249 33554432000 4194304 4196468 140737302395328 139834798598960 139835377240706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26476544 140737302403692 140737302406492 140737302406492 140737302409167 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2452996 KiB
Child status: 143
Real time (s): 2501.96
CPU time (s): 2520.17
CPU user time (s): 2517.88
CPU system time (s): 2.28531
CPU usage (%): 100.728
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 2817400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.88
system time used= 2.28531
maximum resident set size= 2819452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108830
involuntary context switches= 4943
# summary of solver processes directly reported to runsolver:
# pid: 863
# total CPU time (s): 2520.17
# total CPU user time (s): 2517.88
# total CPU system time (s): 2.28531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7075 second user time and 21.3108 second system time
The end