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 (8313 MiB free)
memory of node 1: 16384 MiB (13947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302609-1532893174/watcher-4302609-1532893174 -o /tmp/evaluation-result-4302609-1532893174/solver-4302609-1532893174 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=868099235 -superng HOME/instance-4302609-1532893174.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13811, runsolver pid=13808
[startup+0.100124 s]*
/proc/loadavg: 1.90 2.06 2.07 3/207 13868
/proc/meminfo: memFree=22784528/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=10005480 memory=18592 CPUtime=0.09 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 4263 13215 0 0 1 1 5 2 20 0 6 0 106880521 10245611520 4648 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2501370 4648 1935 1 0 2489808 0
[pid=13811/tid=13864] ppid=13808 vsize=10005480 memory=4279135703946986127 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 2081 13215 0 0 0 0 5 2 20 0 6 0 106880530 10245611520 4648 33554432000 4194304 4196468 140724967187536 139645877875280 139645891161456 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 6 0 106880530 10245611520 4648 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=10005480 memory=140679470167680 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 6 0 106880530 10245611520 4648 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 6 0 106880530 10245611520 4648 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 6 0 106880530 10245611520 4648 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB
[startup+0.21003 s]*
/proc/loadavg: 1.90 2.06 2.07 3/216 13877
/proc/meminfo: memFree=22764096/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=10982744 memory=46272 CPUtime=0.26 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 7799 13215 0 0 17 2 5 2 20 0 15 0 106880521 11246329856 11568 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2745686 11568 2957 1 0 2708109 0
[pid=13811/tid=13864] ppid=13808 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 4435 13215 0 0 10 1 5 2 20 0 15 0 106880530 11247345664 11700 33554432000 4194304 4196468 140724967187536 139645877863328 139645898718237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=10983736 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11247345664 11700 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=10983736 memory=140679470778984 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11247345664 11700 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11247345664 11700 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 106880530 11247345664 11766 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=10983736 memory=140679470167680 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 106880532 11247345664 11766 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 106880532 11247345664 11766 33554432000 4194304 4196468 140724967187536 139644701238176 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880532 11247345664 11766 33554432000 4194304 4196468 140724967187536 139644553389040 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11247345664 11832 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 422 13215 0 0 1 0 5 2 20 0 15 0 106880535 11247345664 11832 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 190 13215 0 0 1 0 5 2 20 0 15 0 106880535 11247345664 11832 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=10983736 memory=140679470167680 CPUtime=0.1 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 609 13215 0 0 3 0 5 2 20 0 15 0 106880535 11247345664 11832 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11249012736 11832 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=10985364 memory=140679470167680 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880536 11249012736 11898 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46272 KiB
[startup+0.310474 s]*
/proc/loadavg: 1.90 2.06 2.07 3/216 13877
/proc/meminfo: memFree=22751444/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=10983192 memory=56976 CPUtime=0.38 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 10310 13215 0 0 28 3 5 2 20 0 15 0 106880521 11246788608 14244 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2745798 14244 3076 1 0 2708109 0
[pid=13811/tid=13864] ppid=13808 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 6864 13215 0 0 19 2 5 2 20 0 15 0 106880530 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645877850528 139645890119006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 106880532 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 106880532 11246788608 14244 33554432000 4194304 4196468 140724967187536 139644701238176 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880532 11246788608 14244 33554432000 4194304 4196468 140724967187536 139644553389040 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11246788608 14244 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 425 13215 0 0 1 0 5 2 20 0 15 0 106880535 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 193 13215 0 0 1 0 5 2 20 0 15 0 106880535 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=10983192 memory=140679470167680 CPUtime=0.12 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) R 13808 13811 12222 0 -1 4202560 615 13215 0 0 5 0 5 2 20 0 15 0 106880535 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645328747248 139645884743270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11246788608 14244 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=10983192 memory=140679470167680 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880536 11246788608 14244 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56976 KiB
[startup+0.700759 s]
/proc/loadavg: 1.90 2.06 2.07 3/216 13877
/proc/meminfo: memFree=22741252/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=10983192 memory=89500 CPUtime=0.98 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 16399 13215 0 0 87 4 5 2 20 0 15 0 106880521 11246788608 22375 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2745798 22375 3247 1 0 2708109 0
[pid=13811/tid=13864] ppid=13808 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 11894 13215 0 0 56 3 5 2 20 0 15 0 106880530 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645877859344 139645886314653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=10983192 memory=487 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 106880530 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=10983192 memory=7229512537422845014 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 6 13215 0 0 0 0 5 2 20 0 15 0 106880532 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=10983192 memory=68 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 106880532 11246788608 22375 33554432000 4194304 4196468 140724967187536 139644701238176 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880532 11246788608 22375 33554432000 4194304 4196468 140724967187536 139644553389040 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11246788608 22375 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 1015 13215 0 0 10 0 5 2 20 0 15 0 106880535 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 594 13215 0 0 6 0 5 2 20 0 15 0 106880535 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 668 13215 0 0 13 0 5 2 20 0 15 0 106880535 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11246788608 22375 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880536 11246788608 22375 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89500 KiB
[startup+1.5008 s]
/proc/loadavg: 1.90 2.06 2.07 3/216 13877
/proc/meminfo: memFree=22696284/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=10998092 memory=182528 CPUtime=2.9 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 26239 13215 0 0 273 10 5 2 20 0 15 0 106880521 11262046208 45632 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2749523 45632 3467 1 0 2711181 0
[pid=13811/tid=13864] ppid=13808 vsize=10998092 memory=4206468019014099040 CPUtime=1.43 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 17185 13215 0 0 130 6 5 2 20 0 15 0 106880530 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645877856176 139645906060445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=10998092 memory=6944613755328037012 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 163 13215 0 0 1 0 5 2 20 0 15 0 106880530 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=10998092 memory=6944656592452807316 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 14 13215 0 0 0 0 5 2 20 0 15 0 106880530 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=10998092 memory=119516 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 19 13215 0 0 0 0 5 2 20 0 15 0 106880530 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 63 13215 0 0 1 0 5 2 20 0 15 0 106880530 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 47 13215 0 0 1 0 5 2 20 0 15 0 106880532 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=10998092 memory=281358744224032 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 106880532 11262046208 45632 33554432000 4194304 4196468 140724967187536 139644701238176 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=10998092 memory=281358744632064 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880532 11262046208 45632 33554432000 4194304 4196468 140724967187536 139644553389040 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=10998092 memory=140679372121728 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11262046208 45632 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=10998092 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 2746 13215 0 0 47 0 5 2 20 0 15 0 106880535 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=10998092 memory=4612 CPUtime=0.58 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 2283 13215 0 0 51 0 5 2 20 0 15 0 106880535 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=10998092 memory=1200 CPUtime=0.44 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 1502 13215 0 0 37 0 5 2 20 0 15 0 106880535 11262046208 45632 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=10998092 memory=15876 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11262046208 45635 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=10998092 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 106880536 11262046208 45635 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 57671 13215 0 0 16108 23 5 2 20 0 15 0 106880530 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645877874032 139645457927047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=11082080 memory=5372 CPUtime=0.48 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 1116 13215 0 0 36 5 5 2 20 0 15 0 106880530 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=11082080 memory=949596 CPUtime=0.48 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 5771 13215 0 0 36 5 5 2 20 0 15 0 106880530 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=11082080 memory=949596 CPUtime=0.5 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1768 13215 0 0 37 6 5 2 20 0 15 0 106880530 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=11082080 memory=949732 CPUtime=0.49 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 1083 13215 0 0 36 6 5 2 20 0 15 0 106880530 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=11082080 memory=949732 CPUtime=0.38 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 1985 13215 0 0 29 2 5 2 20 0 15 0 106880532 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=11082080 memory=949596 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 15 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 237433 33554432000 4194304 4196468 140724967187536 139644701238304 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=11082080 memory=30516 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 4 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 237433 33554432000 4194304 4196468 140724967187536 139644553389056 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=11082080 memory=2396 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 237433 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=11082080 memory=949596 CPUtime=7.68 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 24465 13215 0 0 755 6 5 2 20 0 15 0 106880535 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=11082080 memory=949596 CPUtime=8.32 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 28496 13215 0 0 820 5 5 2 20 0 15 0 106880535 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=11082080 memory=949732 CPUtime=3.65 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 23105 13215 0 0 352 6 5 2 20 0 15 0 106880535 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=11082080 memory=949732 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 237433 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=11082080 memory=949596 CPUtime=0.14 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 325 13215 0 0 4 3 5 2 20 0 15 0 106880536 11348049920 237433 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 182.97 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 949732 KiB
[startup+222.301 s]
/proc/loadavg: 1.34 1.91 2.02 3/215 14019
/proc/meminfo: memFree=20238592/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=11082080 memory=952228 CPUtime=243.96 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 162846 13215 0 0 24315 74 5 2 20 0 15 0 106880521 11348049920 238057 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2770520 238057 3530 1 0 2732173 0
[pid=13811/tid=13864] ppid=13808 vsize=11082080 memory=4012 CPUtime=220.79 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 59296 13215 0 0 22049 23 5 2 20 0 15 0 106880530 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645877873712 139645446220448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=11082080 memory=952028 CPUtime=0.76 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 2440 13215 0 0 63 6 5 2 20 0 15 0 106880530 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=11082080 memory=949980 CPUtime=0.76 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 6431 13215 0 0 63 6 5 2 20 0 15 0 106880530 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=11082080 memory=949936 CPUtime=0.78 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1928 13215 0 0 64 7 5 2 20 0 15 0 106880530 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=11082080 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 1158 13215 0 0 63 8 5 2 20 0 15 0 106880530 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=11082080 memory=952028 CPUtime=0.62 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 2349 13215 0 0 51 4 5 2 20 0 15 0 106880532 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=11082080 memory=952028 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 15 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 238057 33554432000 4194304 4196468 140724967187536 139644701238304 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=11082080 memory=140679372431889 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 4 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 238057 33554432000 4194304 4196468 140724967187536 139644553389056 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=11082080 memory=952228 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 238057 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=11082080 memory=952028 CPUtime=7.86 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 31927 13215 0 0 773 6 5 2 20 0 15 0 106880535 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=11082080 memory=952028 CPUtime=8.33 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 29519 13215 0 0 821 5 5 2 20 0 15 0 106880535 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=11082080 memory=164 CPUtime=3.66 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 25225 13215 0 0 353 6 5 2 20 0 15 0 106880535 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=11082080 memory=952228 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 238057 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=11082080 memory=3852 CPUtime=0.18 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 352 13215 0 0 6 5 5 2 20 0 15 0 106880536 11348049920 238057 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 243.96 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 952228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.301 s]
/proc/loadavg: 1.37 1.89 2.02 3/215 14019
/proc/meminfo: memFree=20278228/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=11082080 memory=952232 CPUtime=252.07 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 162929 13215 0 0 25125 75 5 2 20 0 15 0 106880521 11348049920 238058 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2770520 238058 3530 1 0 2732173 0
[pid=13811/tid=13864] ppid=13808 vsize=11082080 memory=952232 CPUtime=228.72 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 59337 13215 0 0 22841 24 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645877873008 139645460408382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=11082080 memory=952232 CPUtime=0.8 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 2445 13215 0 0 67 6 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=11082080 memory=952232 CPUtime=0.79 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 6443 13215 0 0 66 6 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=11082080 memory=952232 CPUtime=0.81 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1932 13215 0 0 67 7 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=11082080 memory=164 CPUtime=0.81 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 1167 13215 0 0 66 8 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=11082080 memory=57 CPUtime=0.65 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 2359 13215 0 0 54 4 5 2 20 0 15 0 106880532 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=11082080 memory=4012 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 15 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 238058 33554432000 4194304 4196468 140724967187536 139644701238304 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=11082080 memory=952028 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 4 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 238058 33554432000 4194304 4196468 140724967187536 139644553389056 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=11082080 memory=949980 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=11082080 memory=952028 CPUtime=7.86 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 31927 13215 0 0 773 6 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=11082080 memory=928 CPUtime=8.33 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 29519 13215 0 0 821 5 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=11082080 memory=6933690305039933585 CPUtime=3.66 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 25225 13215 0 0 353 6 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=11082080 memory=6944613755395144096 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=11082080 memory=1716 CPUtime=0.18 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 354 13215 0 0 6 5 5 2 20 0 15 0 106880536 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 952232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.337 s]
# the end of solver process 13811 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.319 s, system=0.807235 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 1.37 1.89 2.02 3/215 14019
/proc/meminfo: memFree=20278228/32770624 swapFree=67108404/67108860
[pid=13811] ppid=13808 vsize=11082080 memory=952232 CPUtime=252.07 cores=0,2,4,6
/proc/13811/stat : 13811 (java) S 13808 13811 12222 0 -1 1077944320 162929 13215 0 0 25125 75 5 2 20 0 15 0 106880521 11348049920 238058 33554432000 4194304 4196468 140724967187536 140724967170080 139645906038519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
/proc/13811/statm: 2770520 238058 3530 1 0 2732173 0
[pid=13811/tid=13864] ppid=13808 vsize=11082080 memory=952232 CPUtime=228.72 cores=0,2,4,6
/proc/13811/task/13864/stat : 13864 (java) R 13808 13811 12222 0 -1 4202560 59337 13215 0 0 22841 24 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645877873008 139645460408382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13865] ppid=13808 vsize=11082080 memory=952232 CPUtime=0.8 cores=0,2,4,6
/proc/13811/task/13865/stat : 13865 (java) S 13808 13811 12222 0 -1 1077944384 2445 13215 0 0 67 6 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645910280976 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13866] ppid=13808 vsize=11082080 memory=952232 CPUtime=0.79 cores=0,2,4,6
/proc/13811/task/13866/stat : 13866 (java) S 13808 13811 12222 0 -1 1077944384 6443 13215 0 0 66 6 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645765000080 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13867] ppid=13808 vsize=11082080 memory=952232 CPUtime=0.81 cores=0,2,4,6
/proc/13811/task/13867/stat : 13867 (java) S 13808 13811 12222 0 -1 1077944384 1932 13215 0 0 67 7 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645763947536 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13868] ppid=13808 vsize=11082080 memory=164 CPUtime=0.81 cores=0,2,4,6
/proc/13811/task/13868/stat : 13868 (java) S 13808 13811 12222 0 -1 1077944384 1167 13215 0 0 66 8 5 2 20 0 15 0 106880530 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645762894992 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13869] ppid=13808 vsize=11082080 memory=57 CPUtime=0.65 cores=0,2,4,6
/proc/13811/task/13869/stat : 13869 (java) S 13808 13811 12222 0 -1 1077944384 2359 13215 0 0 54 4 5 2 20 0 15 0 106880532 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645331904496 139645906049666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13870] ppid=13808 vsize=11082080 memory=4012 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13870/stat : 13870 (java) S 13808 13811 12222 0 -1 1077944384 15 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 238058 33554432000 4194304 4196468 140724967187536 139644701238304 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13871] ppid=13808 vsize=11082080 memory=952028 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13871/stat : 13871 (java) S 13808 13811 12222 0 -1 1077944384 4 13215 0 0 0 0 5 2 20 0 15 0 106880532 11348049920 238058 33554432000 4194304 4196468 140724967187536 139644553389056 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13872] ppid=13808 vsize=11082080 memory=949980 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13872/stat : 13872 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139644245989584 139645906057115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13873] ppid=13808 vsize=11082080 memory=952028 CPUtime=7.86 cores=0,2,4,6
/proc/13811/task/13873/stat : 13873 (java) S 13808 13811 12222 0 -1 1077944384 31927 13215 0 0 773 6 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645330852336 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13874] ppid=13808 vsize=11082080 memory=928 CPUtime=8.33 cores=0,2,4,6
/proc/13811/task/13874/stat : 13874 (java) S 13808 13811 12222 0 -1 1077944384 29519 13215 0 0 821 5 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645329799792 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13875] ppid=13808 vsize=11082080 memory=6933690305039933585 CPUtime=3.66 cores=0,2,4,6
/proc/13811/task/13875/stat : 13875 (java) S 13808 13811 12222 0 -1 1077944384 25225 13215 0 0 353 6 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645328747248 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13876] ppid=13808 vsize=11082080 memory=6944613755395144096 CPUtime=0.07 cores=0,2,4,6
/proc/13811/task/13876/stat : 13876 (java) S 13808 13811 12222 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 106880535 11348049920 238058 33554432000 4194304 4196468 140724967187536 139643815193696 139645906048725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
[pid=13811/tid=13877] ppid=13808 vsize=11082080 memory=1716 CPUtime=0.18 cores=0,2,4,6
/proc/13811/task/13877/stat : 13877 (java) S 13808 13811 12222 0 -1 1077944384 354 13215 0 0 6 5 5 2 20 0 15 0 106880536 11348049920 238058 33554432000 4194304 4196468 140724967187536 139645327694128 139645906049666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22634496 140724967189097 140724967191905 140724967191905 140724967194575 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 952232 KiB
Child status: 143
Real time (s): 230.337
CPU time (s): 252.127
CPU user time (s): 251.319
CPU system time (s): 0.807235
CPU usage (%): 109.46
Max. virtual memory (cumulated for all children) (KiB): 11084660
Max. memory (cumulated for all children) (KiB): 1042632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.319
system time used= 0.807235
maximum resident set size= 1043164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29554
involuntary context switches= 1143
# summary of solver processes directly reported to runsolver:
# pid: 13811
# total CPU time (s): 252.127
# total CPU user time (s): 251.319
# total CPU system time (s): 0.807235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52989 second user time and 2.08357 second system time
The end