runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244016-1500679132/watcher-4244016-1500679132 -o /tmp/evaluation-result-4244016-1500679132/solver-4244016-1500679132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500679132-15153 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244016-1500679132.xml
pid=15174
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.96 2.11 4/242 15177
/proc/meminfo: memFree=32007088/32770624 swapFree=5628/214292
[pid=15177] ppid=15174 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 2163 0 0 0 0 0 0 0 20 0 2 0 3180188 8550137856 2376 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2087436 2442 1197 1 0 2076347 0
[pid=15177/tid=15178] ppid=15174 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 916 0 0 0 0 0 0 0 20 0 2 0 3180189 8550137856 2442 33554432000 4194304 4196468 140734117522368 140692879268256 140692867267557 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) R 15174 15177 15122 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 3180190 8551190528 2442 33554432000 4194304 4196468 140734117522368 140692879268256 140692867766017 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[startup+0.100113 s]
/proc/loadavg: 1.77 1.96 2.11 4/242 15177
/proc/meminfo: memFree=32007088/32770624 swapFree=5628/214292
[pid=15177] ppid=15174 vsize=10833892 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 4527 0 0 0 8 1 0 0 20 0 19 0 3180188 11093905408 5646 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2708473 5646 2579 1 0 2696911 0
[pid=15177/tid=15178] ppid=15174 vsize=10833892 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) D 15174 15177 15122 0 -1 1077944384 2634 0 0 0 7 1 0 0 20 0 19 0 3180189 11093905408 5646 33554432000 4194304 4196468 140734117522368 140692879263552 140692875050045 0 4 0 16800975 18446744072101715492 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10833892 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 3180190 11093905408 5646 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10833892
[startup+0.200524 s]
/proc/loadavg: 1.77 1.96 2.11 4/242 15177
/proc/meminfo: memFree=32007088/32770624 swapFree=5628/214292
[pid=15177] ppid=15174 vsize=10900556 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 6872 0 0 0 22 2 0 0 20 0 20 0 3180188 11162169344 7705 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2725139 7705 2829 1 0 2713552 0
[pid=15177/tid=15178] ppid=15174 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 4556 0 0 0 16 1 0 0 20 0 20 0 3180189 11162169344 7705 33554432000 4194304 4196468 140734117522368 140692879258320 140692859106654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3180190 11162169344 7705 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10900556
[startup+0.300358 s]
/proc/loadavg: 1.77 1.96 2.11 4/242 15177
/proc/meminfo: memFree=32007088/32770624 swapFree=5628/214292
[pid=15177] ppid=15174 vsize=10900556 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 8045 0 0 0 37 2 0 0 20 0 20 0 3180188 11162169344 9910 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2725139 9910 2913 1 0 2713552 0
[pid=15177/tid=15178] ppid=15174 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 5209 0 0 0 26 1 0 0 20 0 20 0 3180189 11162169344 9910 33554432000 4194304 4196468 140734117522368 140692879251952 140692475216422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3180190 11162169344 9910 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10900556
[startup+0.700361 s]
/proc/loadavg: 1.77 1.96 2.11 4/242 15177
/proc/meminfo: memFree=32007088/32770624 swapFree=5628/214292
[pid=15177] ppid=15174 vsize=10900632 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 13506 0 0 0 173 7 0 0 20 0 20 0 3180188 11162247168 38719 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2725158 38719 3093 1 0 2713552 0
[pid=15177/tid=15178] ppid=15174 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 5926 0 0 0 63 4 0 0 20 0 20 0 3180189 11162247168 38719 33554432000 4194304 4196468 140734117522368 140692879253640 140692478168128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3180190 11162247168 38719 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10900632
[startup+1.50086 s]
/proc/loadavg: 1.77 1.96 2.11 10/284 15222
/proc/meminfo: memFree=31359908/32770624 swapFree=5932/214488
[pid=15177] ppid=15174 vsize=10900632 CPUtime=4.81 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 21122 0 0 0 448 33 0 0 20 0 20 0 3180188 11162247168 78407 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2725158 78407 3134 1 0 2713552 0
[pid=15177/tid=15178] ppid=15174 vsize=10900632 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 5966 0 0 0 131 5 0 0 20 0 20 0 3180189 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692879262552 140692478985019 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15180] ppid=15174 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15180/stat : 15180 (java) S 15174 15177 15122 0 -1 1077944384 76 0 0 0 4 3 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692800048272 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15181] ppid=15174 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15181/stat : 15181 (java) S 15174 15177 15122 0 -1 1077944384 76 0 0 0 4 3 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692798995216 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15183] ppid=15174 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15183/stat : 15183 (java) S 15174 15177 15122 0 -1 1077944384 78 0 0 0 5 3 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692797942672 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15184] ppid=15174 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15184/stat : 15184 (java) S 15174 15177 15122 0 -1 1077944384 70 0 0 0 5 2 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692796889616 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15185] ppid=15174 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15185/stat : 15185 (java) S 15174 15177 15122 0 -1 1077944384 25 0 0 0 3 1 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692795837072 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15186] ppid=15174 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15186/stat : 15186 (java) S 15174 15177 15122 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692475078928 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15187] ppid=15174 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15187/stat : 15187 (java) S 15174 15177 15122 0 -1 1077944384 69 0 0 0 3 2 0 0 20 0 20 0 3180190 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692474026384 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15203] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15203/stat : 15203 (java) S 15174 15177 15122 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3180192 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692350003952 140692875037314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15204] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15204/stat : 15204 (java) S 15174 15177 15122 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3180193 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692348950176 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15205] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15205/stat : 15205 (java) S 15174 15177 15122 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3180193 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692347897072 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15209] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15209/stat : 15209 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3180197 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692346845648 140692875044763 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15210] ppid=15174 vsize=10900632 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15210/stat : 15210 (java) S 15174 15177 15122 0 -1 1077944384 3824 0 0 0 83 1 0 0 20 0 20 0 3180197 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692345792752 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15211] ppid=15174 vsize=10900632 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15211/stat : 15211 (java) S 15174 15177 15122 0 -1 1077944384 4636 0 0 0 86 0 0 0 20 0 20 0 3180197 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692344740208 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15212] ppid=15174 vsize=10900632 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15212/stat : 15212 (java) S 15174 15177 15122 0 -1 1077944384 3325 0 0 0 82 1 0 0 20 0 20 0 3180198 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692343687152 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15213] ppid=15174 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15213/stat : 15213 (java) S 15174 15177 15122 0 -1 1077944384 1390 0 0 0 27 0 0 0 20 0 20 0 3180198 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692342634608 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15214] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15214/stat : 15214 (java) S 15174 15177 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3180198 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692341582816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15215] ppid=15174 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15215/stat : 15215 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3180199 11162247168 78407 33554432000 4194304 4196468 140734117522368 140692340530352 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10900632
[startup+3.10091 s]
/proc/loadavg: 1.77 1.96 2.11 6/285 15223
/proc/meminfo: memFree=30765008/32770624 swapFree=5932/214468
[pid=15177] ppid=15174 vsize=10967196 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 29971 0 0 0 917 65 0 0 20 0 21 0 3180188 11230408704 119971 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2741799 119971 3152 1 0 2730193 0
[pid=15177/tid=15178] ppid=15174 vsize=10967196 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 6316 0 0 0 275 6 0 0 20 0 21 0 3180189 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692879264824 140692480048951 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10967196 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 131 0 0 0 12 6 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15180] ppid=15174 vsize=10967196 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15180/stat : 15180 (java) S 15174 15177 15122 0 -1 1077944384 131 0 0 0 11 5 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692800048272 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15181] ppid=15174 vsize=10967196 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15181/stat : 15181 (java) S 15174 15177 15122 0 -1 1077944384 138 0 0 0 11 7 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692798995216 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15183] ppid=15174 vsize=10967196 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15183/stat : 15183 (java) S 15174 15177 15122 0 -1 1077944384 179 0 0 0 14 8 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692797942672 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15184] ppid=15174 vsize=10967196 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15184/stat : 15184 (java) S 15174 15177 15122 0 -1 1077944384 135 0 0 0 15 6 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692796889616 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15185] ppid=15174 vsize=10967196 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15185/stat : 15185 (java) S 15174 15177 15122 0 -1 1077944384 77 0 0 0 10 5 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692795837072 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15186] ppid=15174 vsize=10967196 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15186/stat : 15186 (java) S 15174 15177 15122 0 -1 1077944384 112 0 0 0 10 4 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692475078928 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15187] ppid=15174 vsize=10967196 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15187/stat : 15187 (java) S 15174 15177 15122 0 -1 1077944384 154 0 0 0 12 7 0 0 20 0 21 0 3180190 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692474026384 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15203] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15203/stat : 15203 (java) S 15174 15177 15122 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 21 0 3180192 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692350003952 140692875037314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15204] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15204/stat : 15204 (java) S 15174 15177 15122 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3180193 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692348950240 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15205] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15205/stat : 15205 (java) S 15174 15177 15122 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3180193 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692347897088 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15209] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15209/stat : 15209 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3180197 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692346845648 140692875044763 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15210] ppid=15174 vsize=10967196 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15210/stat : 15210 (java) S 15174 15177 15122 0 -1 1077944384 4523 0 0 0 160 1 0 0 20 0 21 0 3180197 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692345792752 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15211] ppid=15174 vsize=10967196 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15211/stat : 15211 (java) S 15174 15177 15122 0 -1 1077944384 7093 0 0 0 169 0 0 0 20 0 21 0 3180197 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692344740208 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15212] ppid=15174 vsize=10967196 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15212/stat : 15212 (java) S 15174 15177 15122 0 -1 1077944384 7221 0 0 0 168 1 0 0 20 0 21 0 3180198 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692343687152 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15213] ppid=15174 vsize=10967196 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15213/stat : 15213 (java) S 15174 15177 15122 0 -1 1077944384 2150 0 0 0 44 1 0 0 20 0 21 0 3180198 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692342634608 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15214] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15214/stat : 15214 (java) S 15174 15177 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3180198 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692341582816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15215] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15215/stat : 15215 (java) S 15174 15177 15122 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 21 0 3180199 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692340530352 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15223] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15223/stat : 15223 (java) S 15174 15177 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3180405 11230408704 119971 33554432000 4194304 4196468 140734117522368 140692339475632 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 10967196
[startup+6.30093 s]
/proc/loadavg: 1.71 1.95 2.11 10/285 15223
/proc/meminfo: memFree=29817496/32770624 swapFree=5932/214484
[pid=15177] ppid=15174 vsize=10967196 CPUtime=13.37 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 32196 0 0 0 1272 65 0 0 20 0 21 0 3180188 11230408704 118006 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2741799 118006 3153 1 0 2730193 0
[pid=15177/tid=15178] ppid=15174 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 6500 0 0 0 595 6 0 0 20 0 21 0 3180189 11230408704 118006 33554432000 4194304 4196468 140734117522368 140692879262888 140692479795810 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10967196 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 131 0 0 0 12 6 0 0 20 0 21 0 3180190 11230408704 118006 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15180] ppid=15174 vsize=10967196 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15180/stat : 15180 (java) S 15174 15177 15122 0 -1 1077944384 131 0 0 0 11 5 0 0 20 0 21 0 3180190 11230408704 118006 33554432000 4194304 4196468 140734117522368 140692800048272 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15181] ppid=15174 vsize=10967196 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15181/stat : 15181 (java) S 15174 15177 15122 0 -1 1077944384 138 0 0 0 11 7 0 0 20 0 21 0 3180190 11230408704 118006 33554432000 4194304 4196468 140734117522368 140692798995216 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15183] ppid=15174 vsize=10967196 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15183/stat : 15183 (java) S 15174 15177 15122 0 -1 1077944384 179 0 0 0 14 8 0 0 20 0 21 0 3180190 11230408704 118006 33554432000 4194304 4196468 140734117522368 140692797942672 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15184] ppid=15174 vsize=10967196 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15184/stat : 15184 (java) S 15174 15177 15122 0 -1 1077944384 135 0 0 0 15 6 0 0 20 0 21 0 3180190 11230408704 118006 33554432000 4194304 4196468 140734117522368 140692796889616 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15185] ppid=15174 vsize=10967196 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/15177/task/15215/stat : 15215 (java) S 15174 15177 15122 0 -1 1077944384 2679 0 0 0 66 58 0 0 20 0 21 0 3180199 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692340530352 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15223] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15223/stat : 15223 (java) S 15174 15177 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3180405 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692339475632 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 2345.43
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2376.9 s]
/proc/loadavg: 2.01 2.05 2.11 3/286 15387
/proc/meminfo: memFree=28015780/32770624 swapFree=5932/216660
[pid=15177] ppid=15174 vsize=10967196 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 116744 0 0 0 239127 875 0 0 20 0 21 0 3180188 11230408704 637396 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2741799 637396 3170 1 0 2730193 0
[pid=15177/tid=15178] ppid=15174 vsize=10967196 CPUtime=2372.72 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) R 15174 15177 15122 0 -1 4202560 58609 0 0 0 237253 19 0 0 20 0 21 0 3180189 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692879265120 140692480081964 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=10967196 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 2005 0 0 0 144 102 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15180] ppid=15174 vsize=10967196 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15180/stat : 15180 (java) S 15174 15177 15122 0 -1 1077944384 2059 0 0 0 147 98 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692800048272 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15181] ppid=15174 vsize=10967196 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15181/stat : 15181 (java) S 15174 15177 15122 0 -1 1077944384 2347 0 0 0 146 100 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692798995216 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15183] ppid=15174 vsize=10967196 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15183/stat : 15183 (java) S 15174 15177 15122 0 -1 1077944384 2045 0 0 0 149 102 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692797942672 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15184] ppid=15174 vsize=10967196 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15184/stat : 15184 (java) S 15174 15177 15122 0 -1 1077944384 2224 0 0 0 148 101 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692796889616 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15185] ppid=15174 vsize=10967196 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15185/stat : 15185 (java) S 15174 15177 15122 0 -1 1077944384 2465 0 0 0 146 95 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692795837072 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15186] ppid=15174 vsize=10967196 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15186/stat : 15186 (java) S 15174 15177 15122 0 -1 1077944384 2657 0 0 0 146 96 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692475078928 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15187] ppid=15174 vsize=10967196 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15187/stat : 15187 (java) S 15174 15177 15122 0 -1 1077944384 1855 0 0 0 146 97 0 0 20 0 21 0 3180190 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692474026384 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15203] ppid=15174 vsize=10967196 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15203/stat : 15203 (java) S 15174 15177 15122 0 -1 1077944384 8657 0 0 0 31 3 0 0 20 0 21 0 3180192 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692350003952 140692875037314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15204] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15204/stat : 15204 (java) S 15174 15177 15122 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 3180193 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692348950240 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15205] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15205/stat : 15205 (java) S 15174 15177 15122 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3180193 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692347897088 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15209] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15209/stat : 15209 (java) S 15174 15177 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3180197 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692346845648 140692875044763 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15210] ppid=15174 vsize=10967196 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15210/stat : 15210 (java) S 15174 15177 15122 0 -1 1077944384 6374 0 0 0 171 1 0 0 20 0 21 0 3180197 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692345792752 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15211] ppid=15174 vsize=10967196 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15211/stat : 15211 (java) S 15174 15177 15122 0 -1 1077944384 9796 0 0 0 191 1 0 0 20 0 21 0 3180197 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692344740208 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15212] ppid=15174 vsize=10967196 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15212/stat : 15212 (java) S 15174 15177 15122 0 -1 1077944384 8053 0 0 0 177 3 0 0 20 0 21 0 3180198 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692343687152 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15213] ppid=15174 vsize=10967196 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15213/stat : 15213 (java) S 15174 15177 15122 0 -1 1077944384 3475 0 0 0 46 2 0 0 20 0 21 0 3180198 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692342634608 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15214] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15214/stat : 15214 (java) S 15174 15177 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3180198 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692341582816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15215] ppid=15174 vsize=10967196 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15215/stat : 15215 (java) S 15174 15177 15122 0 -1 1077944384 2710 0 0 0 67 59 0 0 20 0 21 0 3180199 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692340530352 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15223] ppid=15174 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15223/stat : 15223 (java) S 15174 15177 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3180405 11230408704 637396 33554432000 4194304 4196468 140734117522368 140692339475632 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15177 sig 9
??? kill -15177 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2377.01 s]
/proc/loadavg: 2.01 2.05 2.11 3/286 15387
/proc/meminfo: memFree=28015780/32770624 swapFree=5932/216660
[pid=15177] ppid=15174 vsize=11166888 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 117130 0 0 0 239129 875 0 0 20 0 22 0 3180188 11434893312 637453 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2791722 637453 3173 1 0 2780116 0
[pid=15177/tid=15178] ppid=15174 vsize=11166888 CPUtime=2372.73 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) S 15174 15177 15122 0 -1 1077944384 58644 0 0 0 237254 19 0 0 20 0 22 0 3180189 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692879269040 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=11166888 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 2005 0 0 0 144 102 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15180] ppid=15174 vsize=11166888 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15180/stat : 15180 (java) S 15174 15177 15122 0 -1 1077944384 2059 0 0 0 147 98 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692800048272 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15181] ppid=15174 vsize=11166888 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15181/stat : 15181 (java) S 15174 15177 15122 0 -1 1077944384 2347 0 0 0 146 100 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692798995216 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15183] ppid=15174 vsize=11166888 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15183/stat : 15183 (java) S 15174 15177 15122 0 -1 1077944384 2045 0 0 0 149 102 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692797942672 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15184] ppid=15174 vsize=11166888 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15184/stat : 15184 (java) S 15174 15177 15122 0 -1 1077944384 2224 0 0 0 148 101 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692796889616 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15185] ppid=15174 vsize=11166888 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15185/stat : 15185 (java) S 15174 15177 15122 0 -1 1077944384 2465 0 0 0 146 95 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692795837072 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15186] ppid=15174 vsize=11166888 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15186/stat : 15186 (java) S 15174 15177 15122 0 -1 1077944384 2657 0 0 0 146 96 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692475078928 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15187] ppid=15174 vsize=11166888 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15187/stat : 15187 (java) S 15174 15177 15122 0 -1 1077944384 1855 0 0 0 146 97 0 0 20 0 22 0 3180190 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692474026384 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15203] ppid=15174 vsize=11166888 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15203/stat : 15203 (java) S 15174 15177 15122 0 -1 1077944384 8657 0 0 0 31 3 0 0 20 0 22 0 3180192 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692350003952 140692875037314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15204] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15204/stat : 15204 (java) S 15174 15177 15122 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 22 0 3180193 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692348950240 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15205] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15205/stat : 15205 (java) S 15174 15177 15122 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 3180193 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692347897088 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15209] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15209/stat : 15209 (java) S 15174 15177 15122 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 22 0 3180197 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692346845648 140692875044763 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15210] ppid=15174 vsize=11166888 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15210/stat : 15210 (java) S 15174 15177 15122 0 -1 1077944384 6374 0 0 0 171 1 0 0 20 0 22 0 3180197 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692345792752 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15211] ppid=15174 vsize=11166888 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15211/stat : 15211 (java) S 15174 15177 15122 0 -1 1077944384 9796 0 0 0 191 1 0 0 20 0 22 0 3180197 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692344740208 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15212] ppid=15174 vsize=11166888 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15212/stat : 15212 (java) S 15174 15177 15122 0 -1 1077944384 8053 0 0 0 177 3 0 0 20 0 22 0 3180198 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692343687152 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15213] ppid=15174 vsize=11166888 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15213/stat : 15213 (java) S 15174 15177 15122 0 -1 1077944384 3523 0 0 0 46 2 0 0 20 0 22 0 3180198 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692342634608 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15214] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15214/stat : 15214 (java) S 15174 15177 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3180198 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692341582816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15215] ppid=15174 vsize=11166888 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15215/stat : 15215 (java) S 15174 15177 15122 0 -1 1077944384 2710 0 0 0 67 59 0 0 20 0 22 0 3180199 11434893312 637453 33554432000 4194304 4196468 140734117522368 140692340530352 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 11166888
[startup+2377.1 s]
/proc/loadavg: 2.01 2.05 2.11 2/287 15390
/proc/meminfo: memFree=28015532/32770624 swapFree=5932/216656
[pid=15177] ppid=15174 vsize=11166888 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/15177/stat : 15177 (java) S 15174 15177 15122 0 -1 1077944320 117387 0 0 0 239130 875 0 0 20 0 22 0 3180188 11434893312 637477 33554432000 4194304 4196468 140734117522368 140734117504912 140692875026167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
/proc/15177/statm: 2791722 637477 3173 1 0 2780116 0
[pid=15177/tid=15178] ppid=15174 vsize=11166888 CPUtime=2372.73 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15178/stat : 15178 (java) S 15174 15177 15122 0 -1 1077944384 58644 0 0 0 237254 19 0 0 20 0 22 0 3180189 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692879269040 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15179] ppid=15174 vsize=11166888 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15179/stat : 15179 (java) S 15174 15177 15122 0 -1 1077944384 2005 0 0 0 144 102 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692801100816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15180] ppid=15174 vsize=11166888 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15180/stat : 15180 (java) S 15174 15177 15122 0 -1 1077944384 2059 0 0 0 147 98 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692800048272 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15181] ppid=15174 vsize=11166888 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15181/stat : 15181 (java) S 15174 15177 15122 0 -1 1077944384 2347 0 0 0 146 100 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692798995216 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15183] ppid=15174 vsize=11166888 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15183/stat : 15183 (java) S 15174 15177 15122 0 -1 1077944384 2045 0 0 0 149 102 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692797942672 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15184] ppid=15174 vsize=11166888 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15184/stat : 15184 (java) S 15174 15177 15122 0 -1 1077944384 2224 0 0 0 148 101 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692796889616 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15185] ppid=15174 vsize=11166888 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15185/stat : 15185 (java) S 15174 15177 15122 0 -1 1077944384 2465 0 0 0 146 95 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692795837072 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15186] ppid=15174 vsize=11166888 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15186/stat : 15186 (java) S 15174 15177 15122 0 -1 1077944384 2657 0 0 0 146 96 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692475078928 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15187] ppid=15174 vsize=11166888 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15187/stat : 15187 (java) S 15174 15177 15122 0 -1 1077944384 1855 0 0 0 146 97 0 0 20 0 22 0 3180190 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692474026384 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15203] ppid=15174 vsize=11166888 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15203/stat : 15203 (java) S 15174 15177 15122 0 -1 1077944384 8670 0 0 0 31 3 0 0 20 0 22 0 3180192 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692350003952 140692875037314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15204] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15204/stat : 15204 (java) S 15174 15177 15122 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 22 0 3180193 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692348950240 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15205] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15205/stat : 15205 (java) S 15174 15177 15122 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 3180193 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692347897088 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15209] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15209/stat : 15209 (java) S 15174 15177 15122 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 22 0 3180197 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692346845648 140692875044763 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15210] ppid=15174 vsize=11166888 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15210/stat : 15210 (java) S 15174 15177 15122 0 -1 1077944384 6395 0 0 0 171 1 0 0 20 0 22 0 3180197 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692345792752 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15211] ppid=15174 vsize=11166888 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15211/stat : 15211 (java) S 15174 15177 15122 0 -1 1077944384 9827 0 0 0 191 1 0 0 20 0 22 0 3180197 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692344740208 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15212] ppid=15174 vsize=11166888 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15212/stat : 15212 (java) S 15174 15177 15122 0 -1 1077944384 8112 0 0 0 177 3 0 0 20 0 22 0 3180198 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692343687152 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15213] ppid=15174 vsize=11166888 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15213/stat : 15213 (java) S 15174 15177 15122 0 -1 1077944384 3585 0 0 0 46 2 0 0 20 0 22 0 3180198 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692342634608 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15214] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15214/stat : 15214 (java) S 15174 15177 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3180198 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692341582816 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15215] ppid=15174 vsize=11166888 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15215/stat : 15215 (java) S 15174 15177 15122 0 -1 1077944384 2710 0 0 0 67 59 0 0 20 0 22 0 3180199 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692340530352 140692875037314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15388] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15388/stat : 15388 (java) S 15174 15177 15122 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 22 0 3417879 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692338422384 140692875036373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
[pid=15177/tid=15389] ppid=15174 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15177/task/15389/stat : 15389 (java) R 15174 15177 15122 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 22 0 3417879 11434893312 637477 33554432000 4194304 4196468 140734117522368 140692337366392 140692475375095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7606272 140734117528747 140734117528900 140734117528900 140734117531599 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2377.2
CPU time (s): 2400.18
CPU user time (s): 2391.41
CPU system time (s): 8.77425
CPU usage (%): 100.967
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.41
system time used= 8.77425
maximum resident set size= 2550172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55553
involuntary context switches= 122471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3379 second user time and 18.3305 second system time
The end