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 (14990 MiB free)
memory of node 1: 16384 MiB (14801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263484-1502632303/watcher-4263484-1502632303 -o /tmp/evaluation-result-4263484-1502632303/solver-4263484-1502632303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502623975-28610 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263484-1502632303.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30093, runsolver pid=30090
[startup+0.100164 s]*
/proc/loadavg: 1.96 1.88 1.92 3/204 30102
/proc/meminfo: memFree=30497824/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10484492 memory=24048 CPUtime=0.05 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 5024 0 0 0 5 0 0 0 20 0 14 0 65450973 10736119808 6012 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2621123 6012 2492 1 0 2610620 0
[pid=30093/tid=30095] ppid=30090 vsize=10484492 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) D 30090 30093 897 0 -1 1077944384 3153 0 0 0 4 0 0 0 20 0 14 0 65450978 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214608730136 140214597170549 0 4 1 16800974 18446744072101563940 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10484492 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 65450979 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10484492 memory=288371052835554944 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 65450979 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 65450979 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 65450979 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10484492 memory=140676683843200 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 65450980 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 65450981 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 65450981 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 65450983 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 65450983 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 14 0 65450983 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10484492 memory=140676683843200 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 65450983 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 65450984 10736119808 6078 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 24048 KiB
[startup+0.212805 s]*
/proc/loadavg: 1.96 1.88 1.92 5/210 30108
/proc/meminfo: memFree=30484364/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10551156 memory=30900 CPUtime=0.15 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 7941 0 0 0 13 2 0 0 20 0 15 0 65450973 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2637789 7725 2732 1 0 2627261 0
[pid=30093/tid=30095] ppid=30090 vsize=10551156 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) R 30090 30093 897 0 -1 4202560 5782 0 0 0 9 1 0 0 20 0 15 0 65450978 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214608723552 140214498077227 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10551156 memory=328 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10551156 memory=288371052835554944 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10551156 memory=140676683843200 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450980 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65450981 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65450981 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65450983 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 65450983 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 65450983 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10551156 memory=140676683843200 CPUtime=0.02 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 65450983 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65450984 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10551156 memory=140676683843200 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65450989 10804383744 7725 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30900 KiB
[startup+0.309999 s]*
/proc/loadavg: 1.96 1.88 1.92 5/210 30108
/proc/meminfo: memFree=30478620/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10551156 memory=39500 CPUtime=0.3 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 9796 0 0 0 27 3 0 0 20 0 15 0 65450973 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2637789 9875 2870 1 0 2627261 0
[pid=30093/tid=30095] ppid=30090 vsize=10551156 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) R 30090 30093 897 0 -1 4202560 6974 0 0 0 18 2 0 0 20 0 15 0 65450978 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214608727360 140214588573022 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450979 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65450980 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65450981 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65450981 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65450983 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 65450983 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 15 0 65450983 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10551156 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 831 0 0 0 6 0 0 0 20 0 15 0 65450983 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65450984 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65450989 10804383744 9875 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39500 KiB
[startup+0.700989 s]
/proc/loadavg: 1.96 1.88 1.92 7/210 30108
/proc/meminfo: memFree=30459636/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10617796 memory=73264 CPUtime=1.44 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 12986 0 0 0 139 5 0 0 20 0 16 0 65450973 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2654449 18316 3060 1 0 2643902 0
[pid=30093/tid=30095] ppid=30090 vsize=10617796 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) R 30090 30093 897 0 -1 4202560 7899 0 0 0 55 3 0 0 20 0 16 0 65450978 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214608729008 140214247505285 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10617796 memory=140677358813615 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10617796 memory=140677358813617 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10617796 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10617796 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 65450980 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10617796 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10617796 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10617796 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65450983 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10617796 memory=4616 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) R 30090 30093 897 0 -1 4202560 848 0 0 0 29 0 0 0 20 0 16 0 65450983 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214188549024 140214586036661 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10617796 memory=1012 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) R 30090 30093 897 0 -1 4202560 1272 0 0 0 28 0 0 0 20 0 16 0 65450983 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214187501104 140214588482932 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10617796 memory=10164 CPUtime=0.26 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 1573 0 0 0 26 0 0 0 20 0 16 0 65450983 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10617796 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65450984 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10617796 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 65450989 10872623104 18316 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 73264 KiB
[startup+1.50081 s]
/proc/loadavg: 1.96 1.88 1.92 3/211 30110
/proc/meminfo: memFree=30446700/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10617796 memory=78260 CPUtime=2.62 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 16825 0 0 0 257 5 0 0 20 0 16 0 65450973 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2654449 19565 3071 1 0 2643902 0
[pid=30093/tid=30095] ppid=30090 vsize=10617796 memory=4116 CPUtime=1.37 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) R 30090 30093 897 0 -1 4202560 8396 0 0 0 134 3 0 0 20 0 16 0 65450978 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214608729024 140214249767373 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10617796 memory=36964 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10617796 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10617796 memory=7739274762640577384 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 65450979 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10617796 memory=7156367418831054481 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 65450980 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10617796 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 19565 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
################
# More data... #
################
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 1976 0 0 0 18 5 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1166 0 0 0 18 4 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 731 0 0 0 17 5 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.06 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 1827 0 0 0 3 3 0 0 20 0 16 0 65450980 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10617796 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10617796 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10617796 memory=140676554002065 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10617796 memory=1292 CPUtime=0.58 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 3438 0 0 0 58 0 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.72 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 5318 0 0 0 71 1 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10617796 memory=4872558044660077418 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 3452 0 0 0 30 1 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10617796 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65450984 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10617796 memory=10976 CPUtime=1.34 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1299 0 0 0 64 70 0 0 20 0 16 0 65450989 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30109] ppid=30090 vsize=10617796 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65451028 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214183298608 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 2506.18 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 376872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.11 s]
/proc/loadavg: 2.00 2.06 2.10 3/211 30461
/proc/meminfo: memFree=27599756/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10617796 memory=376872 CPUtime=2520 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 36762 0 0 0 251912 88 0 0 20 0 16 0 65450973 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2654449 94218 3115 1 0 2643902 0
[pid=30093/tid=30095] ppid=30090 vsize=10617796 memory=376872 CPUtime=2516 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) R 30090 30093 897 0 -1 4202560 14906 0 0 0 251595 5 0 0 20 0 16 0 65450978 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214608731488 140214249714550 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 1165 0 0 0 17 5 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.23 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 1976 0 0 0 18 5 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1166 0 0 0 18 4 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 731 0 0 0 17 5 0 0 20 0 16 0 65450979 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.06 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 1827 0 0 0 3 3 0 0 20 0 16 0 65450980 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10617796 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10617796 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 65450981 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10617796 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.58 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 3438 0 0 0 58 0 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.72 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 5318 0 0 0 71 1 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10617796 memory=376872 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 3452 0 0 0 30 1 0 0 20 0 16 0 65450983 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10617796 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65450984 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10617796 memory=376872 CPUtime=1.35 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1301 0 0 0 64 71 0 0 20 0 16 0 65450989 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30109] ppid=30090 vsize=10617796 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65451028 10872623104 94218 18446744073709551615 4194304 4196468 140731689324544 140214183298608 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 376872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.36 s]
# the end of solver process 30093 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.19 s, system=0.885231 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.21 s]
/proc/loadavg: 2.00 2.06 2.10 3/211 30461
/proc/meminfo: memFree=27599756/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10817488 memory=377100 CPUtime=2520.02 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 37387 0 0 0 251914 88 0 0 20 0 17 0 65450973 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2704372 94275 3117 1 0 2693825 0
[pid=30093/tid=30095] ppid=30090 vsize=10817488 memory=1792 CPUtime=2516.01 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) S 30090 30093 897 0 -1 1077944384 14955 0 0 0 251596 5 0 0 20 0 17 0 65450978 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214608735408 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10817488 memory=3904 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 1165 0 0 0 17 5 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10817488 memory=960 CPUtime=0.23 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 1976 0 0 0 18 5 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10817488 memory=1240 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1166 0 0 0 18 4 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10817488 memory=2248 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 731 0 0 0 17 5 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10817488 memory=281353108241584 CPUtime=0.06 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 1840 0 0 0 3 3 0 0 20 0 17 0 65450980 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10817488 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 65450981 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10817488 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 65450981 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10817488 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10817488 memory=1624 CPUtime=0.58 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 3438 0 0 0 58 0 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10817488 memory=928 CPUtime=0.72 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 5318 0 0 0 71 1 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10817488 memory=2164 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 3669 0 0 0 30 1 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10817488 memory=840 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65450984 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10817488 memory=16436 CPUtime=1.35 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1301 0 0 0 64 71 0 0 20 0 17 0 65450989 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 377100 KiB
[startup+2516.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/211 30461
/proc/meminfo: memFree=27599756/32770624 swapFree=67108860/67108860
[pid=30093] ppid=30090 vsize=10817488 memory=377100 CPUtime=2520.02 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 897 0 -1 1077944320 37387 0 0 0 251914 88 0 0 20 0 17 0 65450973 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140731689307088 140214604492535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
/proc/30093/statm: 2704372 94275 3117 1 0 2693825 0
[pid=30093/tid=30095] ppid=30090 vsize=10817488 memory=2248 CPUtime=2516.01 cores=0,2,4,6
/proc/30093/task/30095/stat : 30095 (java) S 30090 30093 897 0 -1 1077944384 14955 0 0 0 251596 5 0 0 20 0 17 0 65450978 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214608735408 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30096] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 897 0 -1 1077944384 1165 0 0 0 17 5 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214215891472 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30097] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.23 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 897 0 -1 1077944384 1976 0 0 0 18 5 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214214838928 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30098] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 897 0 -1 1077944384 1166 0 0 0 18 4 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214213785872 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30099] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.22 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 897 0 -1 1077944384 731 0 0 0 17 5 0 0 20 0 17 0 65450979 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214212733328 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30100] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.06 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 897 0 -1 1077944384 1840 0 0 0 3 3 0 0 20 0 17 0 65450980 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214192773872 140214604503682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30101] ppid=30090 vsize=10817488 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 65450981 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214191720096 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30102] ppid=30090 vsize=10817488 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 65450981 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214190666992 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30103] ppid=30090 vsize=10817488 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 897 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214189615568 140214604511131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30104] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.58 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 897 0 -1 1077944384 3438 0 0 0 58 0 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214188562672 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30105] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.72 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 897 0 -1 1077944384 5318 0 0 0 71 1 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214187510128 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30106] ppid=30090 vsize=10817488 memory=376872 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 897 0 -1 1077944384 3669 0 0 0 30 1 0 0 20 0 17 0 65450983 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214186457072 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30107] ppid=30090 vsize=10817488 memory=376872 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65450984 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214185404768 140214604502741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
[pid=30093/tid=30108] ppid=30090 vsize=10817488 memory=376872 CPUtime=1.35 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 897 0 -1 1077944384 1301 0 0 0 64 71 0 0 20 0 17 0 65450989 11077107712 94275 18446744073709551615 4194304 4196468 140731689324544 140214184352816 140214604503682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140731689329040 140731689329193 140731689329193 140731689332687 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 377100 KiB
Child status: 143
Real time (s): 2516.36
CPU time (s): 2520.07
CPU user time (s): 2519.19
CPU system time (s): 0.885231
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 377100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.19
system time used= 0.885231
maximum resident set size= 377408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56527
involuntary context switches= 682
# summary of solver processes directly reported to runsolver:
# pid: 30093
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.19
# total CPU system time (s): 0.885231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1885 second user time and 23.0968 second system time
The end