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 (9203 MiB free)
memory of node 1: 16384 MiB (13663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302568-1532895823/watcher-4302568-1532895823 -o /tmp/evaluation-result-4302568-1532895823/solver-4302568-1532895823 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2141834253 HOME/instance-4302568-1532895823.xml
running on 4 cores: 1,3,5,7
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
solver pid=17909, runsolver pid=17906
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.97 1.97 1.95 3/207 17966
/proc/meminfo: memFree=23407520/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=10005480 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 4412 13410 0 0 1 0 4 3 20 0 6 0 107145512 10245611520 4270 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2501370 4270 1935 1 0 2489808 0
[pid=17909/tid=17962] ppid=17906 vsize=10005480 memory=4279135703913364878 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 2250 13410 0 0 0 0 4 3 20 0 6 0 107145521 10245611520 4270 33554432000 4194304 4196468 140729147160240 139948131123792 139948144409968 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 6 0 107145521 10245611520 4270 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=10005480 memory=139896312891008 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 6 0 107145521 10245611520 4270 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 6 0 107145521 10245611520 4270 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 6 0 107145521 10245611520 4270 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209987 s]*
/proc/loadavg: 1.97 1.97 1.95 3/216 17975
/proc/meminfo: memFree=23384840/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=10982744 memory=45432 CPUtime=0.25 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 8094 13410 0 0 17 1 4 3 20 0 15 0 107145512 11246329856 11358 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2745686 11358 2952 1 0 2708109 0
[pid=17909/tid=17962] ppid=17906 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 4655 13410 0 0 11 1 4 3 20 0 15 0 107145521 11246329856 11358 33554432000 4194304 4196468 140729147160240 139948131109040 139948151966253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246329856 11358 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=10982744 memory=139896312891008 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246329856 11358 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246329856 11358 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246329856 11358 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=10982744 memory=139896312891008 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145523 11246329856 11358 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 13 13410 0 0 0 0 4 3 20 0 15 0 107145523 11246329856 11358 33554432000 4194304 4196468 140729147160240 139947013039776 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145524 11246329856 11358 33554432000 4194304 4196468 140729147160240 139946811712752 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11246362624 11424 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 414 13410 0 0 1 0 4 3 20 0 15 0 107145526 11246362624 11424 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 12183 0 -1 1077944384 193 13410 0 0 1 0 4 3 20 0 15 0 107145526 11247345664 11424 33554432000 4194304 4196468 140729147160240 139947582179696 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=10983736 memory=139896312891008 CPUtime=0.1 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 621 13410 0 0 3 0 4 3 20 0 15 0 107145526 11247345664 11424 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11247345664 11424 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=10983736 memory=139896312891008 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145527 11247345664 11424 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45432 KiB
[startup+0.310348 s]*
/proc/loadavg: 1.97 1.97 1.95 3/216 17975
/proc/meminfo: memFree=23372312/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=10983192 memory=56136 CPUtime=0.38 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 10609 13410 0 0 29 2 4 3 20 0 15 0 107145512 11246788608 14034 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2745798 14034 3071 1 0 2708109 0
[pid=17909/tid=17962] ppid=17906 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 7164 13410 0 0 20 2 4 3 20 0 15 0 107145521 11246788608 14034 33554432000 4194304 4196468 140729147160240 139948131099040 139948138818448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 14034 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 14034 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 14034 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 14034 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145523 11246788608 14034 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 13 13410 0 0 0 0 4 3 20 0 15 0 107145523 11246788608 14034 33554432000 4194304 4196468 140729147160240 139947013039776 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145524 11246788608 14034 33554432000 4194304 4196468 140729147160240 139946811712752 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11246788608 14034 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 414 13410 0 0 1 0 4 3 20 0 15 0 107145526 11246788608 14034 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 12183 0 -1 1077944384 194 13410 0 0 1 0 4 3 20 0 15 0 107145526 11246788608 14034 33554432000 4194304 4196468 140729147160240 139947582179696 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) R 17906 17909 12183 0 -1 4202560 626 13410 0 0 5 0 4 3 20 0 15 0 107145526 11246788608 14034 33554432000 4194304 4196468 140729147160240 139947581126640 139948138425312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11246788608 14034 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145527 11246788608 14034 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56136 KiB
[startup+0.700791 s]
/proc/loadavg: 1.97 1.97 1.95 5/216 17975
/proc/meminfo: memFree=23362264/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=10983192 memory=88692 CPUtime=0.99 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 16777 13410 0 0 88 4 4 3 20 0 15 0 107145512 11246788608 22173 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2745798 22173 3238 1 0 2708109 0
[pid=17909/tid=17962] ppid=17906 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 12202 13410 0 0 56 3 4 3 20 0 15 0 107145521 11246788608 22173 33554432000 4194304 4196468 140729147160240 139948131107856 139948139562809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 22173 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 22173 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 22173 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11246788608 22173 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 5 13410 0 0 0 0 4 3 20 0 15 0 107145523 11246788608 22173 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 13 13410 0 0 0 0 4 3 20 0 15 0 107145523 11246788608 22173 33554432000 4194304 4196468 140729147160240 139947013039776 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145524 11246788608 22173 33554432000 4194304 4196468 140729147160240 139946811712752 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11246788608 22173 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=10983192 memory=13252 CPUtime=0.13 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 783 13410 0 0 6 0 4 3 20 0 15 0 107145526 11246788608 22173 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=10983192 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 12183 0 -1 1077944384 871 13410 0 0 10 0 4 3 20 0 15 0 107145526 11246788608 22173 33554432000 4194304 4196468 140729147160240 139947582179696 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 698 13410 0 0 13 0 4 3 20 0 15 0 107145526 11246788608 22173 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11246788608 22173 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145527 11246788608 22173 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88692 KiB
[startup+1.50073 s]
/proc/loadavg: 1.97 1.97 1.95 4/216 17975
/proc/meminfo: memFree=23316676/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=10996044 memory=172248 CPUtime=3.04 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 25287 13410 0 0 289 8 4 3 20 0 15 0 107145512 11259949056 43062 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2749011 43062 3449 1 0 2710669 0
[pid=17909/tid=17962] ppid=17906 vsize=10996044 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 16821 13410 0 0 133 6 4 3 20 0 15 0 107145521 11259949056 43062 33554432000 4194304 4196468 140729147160240 139948131119536 139948143367518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11259949056 43062 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145521 11259949056 43062 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11259949056 43062 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2 13410 0 0 0 0 4 3 20 0 15 0 107145521 11259949056 43062 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=10996044 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 13 13410 0 0 0 0 4 3 20 0 15 0 107145523 11259949056 43062 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=10996044 memory=279792423348480 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 13 13410 0 0 0 0 4 3 20 0 15 0 107145523 11259949056 43062 33554432000 4194304 4196468 140729147160240 139947013039776 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145524 11259949056 43062 33554432000 4194304 4196468 140729147160240 139946811712752 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=10996044 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11259949056 43062 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=10996044 memory=1232 CPUtime=0.62 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 1859 13410 0 0 55 0 4 3 20 0 15 0 107145526 11259949056 43062 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=10996044 memory=8560 CPUtime=0.63 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) R 17906 17909 12183 0 -1 4202560 2741 13410 0 0 56 0 4 3 20 0 15 0 107145526 11259949056 43062 33554432000 4194304 4196468 140729147160240 139947582169056 139948142673816 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=10996044 memory=1712 CPUtime=0.51 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 1636 13410 0 0 44 0 4 3 20 0 15 0 107145526 11259949056 43062 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=10996044 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11259949056 43062 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=10996044 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1 13410 0 0 0 0 4 3 20 0 15 0 107145527 11259949056 43062 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 59171 13410 0 0 16054 43 4 3 20 0 15 0 107145521 11345952768 724132 33554432000 4194304 4196468 140729147160240 139948131118128 139947718491707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=11080032 memory=2896012 CPUtime=0.97 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2372 13410 0 0 77 13 4 3 20 0 15 0 107145521 11345952768 724132 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=11080032 memory=2895500 CPUtime=0.98 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 3511 13410 0 0 77 14 4 3 20 0 15 0 107145521 11345952768 724132 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=11080032 memory=4140 CPUtime=0.99 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 1632 13410 0 0 79 13 4 3 20 0 15 0 107145521 11345952768 724132 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=11080032 memory=30688 CPUtime=0.98 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2522 13410 0 0 77 14 4 3 20 0 15 0 107145521 11345952768 724132 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=11080032 memory=-7023579799431922829 CPUtime=0.27 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 4762 13410 0 0 17 3 4 3 20 0 15 0 107145523 11345952768 724132 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=11080032 memory=-8486080722631693414 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 18 13410 0 0 0 0 4 3 20 0 15 0 107145523 11345952768 724132 33554432000 4194304 4196468 140729147160240 139947013039904 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=11080032 memory=2898064 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 8 13410 0 0 0 0 4 3 20 0 15 0 107145524 11345952768 724132 33554432000 4194304 4196468 140729147160240 139946811712768 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=11080032 memory=2898064 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11345952768 724132 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=11080032 memory=4004 CPUtime=7.14 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 10751 13410 0 0 705 2 4 3 20 0 15 0 107145526 11345952768 724132 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=11080032 memory=18448 CPUtime=7.79 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 12183 0 -1 1077944384 26177 13410 0 0 767 5 4 3 20 0 15 0 107145526 11345952768 724132 33554432000 4194304 4196468 140729147160240 139947582179696 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=11080032 memory=4872558044660077418 CPUtime=2.76 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 21706 13410 0 0 265 4 4 3 20 0 15 0 107145526 11345952768 724132 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=11080032 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11345952768 724132 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=11080032 memory=2894992 CPUtime=0.16 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1480 13410 0 0 5 4 4 3 20 0 15 0 107145527 11345952768 724132 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 182.56 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2896528 KiB
[startup+222.301 s]
/proc/loadavg: 1.80 1.76 1.87 3/215 18107
/proc/meminfo: memFree=20871992/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=11080032 memory=2874588 CPUtime=243.57 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 155130 13410 0 0 24224 126 4 3 20 0 15 0 107145512 11345952768 718647 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2770008 718647 3531 1 0 2731661 0
[pid=17909/tid=17962] ppid=17906 vsize=11080032 memory=2873560 CPUtime=220.58 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 64234 13410 0 0 22007 44 4 3 20 0 15 0 107145521 11345952768 718647 33554432000 4194304 4196468 140729147160240 139948131117808 139947709184147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=11080032 memory=2875088 CPUtime=1.28 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 2765 13410 0 0 107 14 4 3 20 0 15 0 107145521 11345952768 718647 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=11080032 memory=2874588 CPUtime=1.29 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 4243 13410 0 0 107 15 4 3 20 0 15 0 107145521 11345952768 718647 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=11080032 memory=2874588 CPUtime=1.3 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2836 13410 0 0 108 15 4 3 20 0 15 0 107145521 11345952768 718647 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=11080032 memory=1836 CPUtime=1.28 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2713 13410 0 0 106 15 4 3 20 0 15 0 107145521 11345952768 718647 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=11080032 memory=13044 CPUtime=0.39 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 5105 13410 0 0 28 4 4 3 20 0 15 0 107145523 11345952768 718647 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=11080032 memory=2873564 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 18 13410 0 0 0 0 4 3 20 0 15 0 107145523 11345952768 718647 33554432000 4194304 4196468 140729147160240 139947013039904 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=11080032 memory=2873564 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 8 13410 0 0 0 0 4 3 20 0 15 0 107145524 11345952768 718647 33554432000 4194304 4196468 140729147160240 139946811712768 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=11080032 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11345952768 718647 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=11080032 memory=30688 CPUtime=7.15 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 13003 13410 0 0 706 2 4 3 20 0 15 0 107145526 11345952768 718647 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=11080032 memory=303430223234596890 CPUtime=7.83 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 12183 0 -1 1077944384 29983 13410 0 0 771 5 4 3 20 0 15 0 107145526 11345952768 718647 33554432000 4194304 4196468 140729147160240 139947582179696 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=11080032 memory=288230596050944315 CPUtime=2.79 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 26510 13410 0 0 267 5 4 3 20 0 15 0 107145526 11345952768 718647 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=11080032 memory=2875612 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11345952768 718647 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=11080032 memory=2876128 CPUtime=0.2 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1516 13410 0 0 7 6 4 3 20 0 15 0 107145527 11345952768 718647 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 243.57 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2874588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.601 s]
/proc/loadavg: 1.76 1.75 1.86 3/215 18107
/proc/meminfo: memFree=20387620/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=11080032 memory=2870068 CPUtime=252.01 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 156929 13410 0 0 25067 127 4 3 20 0 15 0 107145512 11345952768 717517 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2770008 717517 3531 1 0 2731661 0
[pid=17909/tid=17962] ppid=17906 vsize=11080032 memory=1836 CPUtime=228.82 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 64715 13410 0 0 22831 44 4 3 20 0 15 0 107145521 11345952768 717517 33554432000 4194304 4196468 140729147160240 139948131117520 139947702026971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=11080032 memory=920 CPUtime=1.32 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 3829 13410 0 0 111 14 4 3 20 0 15 0 107145521 11345952768 717517 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=11080032 memory=3852 CPUtime=1.33 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 4342 13410 0 0 111 15 4 3 20 0 15 0 107145521 11345952768 717517 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=11080032 memory=2748 CPUtime=1.35 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2897 13410 0 0 113 15 4 3 20 0 15 0 107145521 11345952768 717517 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=11080032 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2766 13410 0 0 111 15 4 3 20 0 15 0 107145521 11345952768 717517 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=11080032 memory=-9001734043636558696 CPUtime=0.41 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 5146 13410 0 0 30 4 4 3 20 0 15 0 107145523 11345952768 717517 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=11080032 memory=6003391007357428839 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 18 13410 0 0 0 0 4 3 20 0 15 0 107145523 11345952768 717517 33554432000 4194304 4196468 140729147160240 139947013039904 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=11080032 memory=8560 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 8 13410 0 0 0 0 4 3 20 0 15 0 107145524 11345952768 717517 33554432000 4194304 4196468 140729147160240 139946811712768 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=11080032 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11345952768 717517 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=11080032 memory=5412 CPUtime=7.15 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 13003 13410 0 0 706 2 4 3 20 0 15 0 107145526 11345952768 717517 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=11080032 memory=4612 CPUtime=7.83 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 12183 0 -1 1077944384 29983 13410 0 0 771 5 4 3 20 0 15 0 107145526 11345952768 717517 33554432000 4194304 4196468 140729147160240 139947582179696 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=11080032 memory=1012 CPUtime=2.79 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 26510 13410 0 0 267 5 4 3 20 0 15 0 107145526 11345952768 717517 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=11080032 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 15 0 107145526 11345952768 717517 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=11080032 memory=1200 CPUtime=0.2 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1516 13410 0 0 7 6 4 3 20 0 15 0 107145527 11345952768 717517 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2870068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.735 s]
# the end of solver process 17909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.836 s, system=1.33659 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.705 s]
/proc/loadavg: 1.76 1.75 1.86 3/215 18107
/proc/meminfo: memFree=20387620/32770624 swapFree=67108860/67108860
[pid=17909] ppid=17906 vsize=11342184 memory=2872336 CPUtime=252.12 cores=1,3,5,7
/proc/17909/stat : 17909 (java) S 17906 17909 12183 0 -1 1077944320 157846 13410 0 0 25078 127 4 3 20 0 17 0 107145512 11614396416 718084 33554432000 4194304 4196468 140729147160240 140729147142784 139948159287031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
/proc/17909/statm: 2835546 718084 3533 1 0 2797199 0
[pid=17909/tid=17962] ppid=17906 vsize=11342184 memory=2871032 CPUtime=228.93 cores=1,3,5,7
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 12183 0 -1 4202560 65083 13410 0 0 22841 45 4 3 20 0 17 0 107145521 11614396416 718084 33554432000 4194304 4196468 140729147160240 139948131117632 139948159308861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17963] ppid=17906 vsize=11342184 memory=2870580 CPUtime=1.32 cores=1,3,5,7
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 12183 0 -1 1077944384 3829 13410 0 0 111 14 4 3 20 0 17 0 107145521 11614396416 718084 33554432000 4194304 4196468 140729147160240 139948163529232 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17964] ppid=17906 vsize=11342184 memory=2870068 CPUtime=1.34 cores=1,3,5,7
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 12183 0 -1 1077944384 4342 13410 0 0 112 15 4 3 20 0 17 0 107145521 11614396416 718084 33554432000 4194304 4196468 140729147160240 139948028865168 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17965] ppid=17906 vsize=11342184 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 12183 0 -1 1077944384 2903 13410 0 0 113 15 4 3 20 0 17 0 107145521 11614396416 718084 33554432000 4194304 4196468 140729147160240 139948027812112 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17966] ppid=17906 vsize=11342184 memory=4140 CPUtime=1.33 cores=1,3,5,7
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 12183 0 -1 1077944384 2772 13410 0 0 111 15 4 3 20 0 17 0 107145521 11614396416 718084 33554432000 4194304 4196468 140729147160240 139948026759568 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17967] ppid=17906 vsize=11342184 memory=30688 CPUtime=0.41 cores=1,3,5,7
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 12183 0 -1 1077944384 5146 13410 0 0 30 4 4 3 20 0 17 0 107145523 11614396416 718084 33554432000 4194304 4196468 140729147160240 139947584285424 139948159298178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17968] ppid=17906 vsize=11342184 memory=2875100 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 12183 0 -1 1077944384 18 13410 0 0 0 0 4 3 20 0 17 0 107145523 11614396416 718084 33554432000 4194304 4196468 140729147160240 139947013039904 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17969] ppid=17906 vsize=11342184 memory=2874076 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 12183 0 -1 1077944384 8 13410 0 0 0 0 4 3 20 0 17 0 107145524 11614396416 718084 33554432000 4194304 4196468 140729147160240 139946811712768 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17970] ppid=17906 vsize=11342184 memory=2875600 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 12183 0 -1 1077944384 137 13410 0 0 0 0 4 3 20 0 17 0 107145526 11614396416 718084 33554432000 4194304 4196468 140729147160240 139946504313296 139948159305627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17971] ppid=17906 vsize=11342184 memory=2878168 CPUtime=7.15 cores=1,3,5,7
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 12183 0 -1 1077944384 13003 13410 0 0 706 2 4 3 20 0 17 0 107145526 11614396416 718084 33554432000 4194304 4196468 140729147160240 139947583232240 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17972] ppid=17906 vsize=11342184 memory=2872060 CPUtime=7.83 cores=1,3,5,7
/proc/17909/task/17972/stat : 17972 (java) R 17906 17909 12183 0 -1 1077944384 30219 13410 0 0 771 5 4 3 20 0 17 0 107145526 11614396416 718084 33554432000 4194304 4196468 140729147160240 139947582179584 139948159297237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17973] ppid=17906 vsize=11342184 memory=2872572 CPUtime=2.79 cores=1,3,5,7
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 12183 0 -1 1077944384 26549 13410 0 0 267 5 4 3 20 0 17 0 107145526 11614396416 718084 33554432000 4194304 4196468 140729147160240 139947581126640 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17974] ppid=17906 vsize=11342184 memory=2872060 CPUtime=0.07 cores=1,3,5,7
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 12183 0 -1 1077944384 3 13410 0 0 0 0 4 3 20 0 17 0 107145526 11614396416 718084 33554432000 4194304 4196468 140729147160240 139946073516384 139948159297237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
[pid=17909/tid=17975] ppid=17906 vsize=11342184 memory=2872536 CPUtime=0.2 cores=1,3,5,7
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 12183 0 -1 1077944384 1516 13410 0 0 7 6 4 3 20 0 17 0 107145527 11614396416 718084 33554432000 4194304 4196468 140729147160240 139947580075056 139948159298178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140729147169393 140729147172193 140729147172193 140729147174863 0
Current children cumulated CPU time: 252.12 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 2872336 KiB
Child status: 143
Real time (s): 230.735
CPU time (s): 252.173
CPU user time (s): 250.836
CPU system time (s): 1.33659
CPU usage (%): 109.291
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 2990136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.836
system time used= 1.33659
maximum resident set size= 2990136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171615
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= 19220
involuntary context switches= 473
# summary of solver processes directly reported to runsolver:
# pid: 17909
# total CPU time (s): 252.173
# total CPU user time (s): 250.836
# total CPU system time (s): 1.33659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40802 second user time and 2.22665 second system time
The end