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 (11535 MiB free)
memory of node 1: 16384 MiB (9851 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307599-1534263040/watcher-4307599-1534263040 -o /tmp/evaluation-result-4307599-1534263040/solver-4307599-1534263040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534258053-12156 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1604257139 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307599-1534263040.xml
running on 4 cores: 1,3,5,7
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=13178, runsolver pid=13175
[startup+0.105955 s]*
/proc/loadavg: 1.55 1.50 1.44 3/216 13193
/proc/meminfo: memFree=21880912/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14082736 memory=33084 CPUtime=0.12 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 6736 0 0 0 11 1 0 0 20 0 15 0 243867164 14420721664 8271 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3520684 8271 3144 1 0 3482761 0
[pid=13178/tid=13180] ppid=13175 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 4841 0 0 0 8 1 0 0 20 0 15 0 243867165 14420721664 8337 33554432000 4194304 4196468 140722763868432 139784104155688 139784080209703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14082736 memory=5793855360394684857 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 8337 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 8337 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 8337 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 8337 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243867167 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243867167 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783572005664 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243867168 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783570953328 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0.01 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 243867170 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 8403 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33084 KiB
[startup+0.210843 s]*
/proc/loadavg: 1.55 1.50 1.44 6/216 13193
/proc/meminfo: memFree=21866028/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14082736 memory=47796 CPUtime=0.29 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 10035 0 0 0 26 3 0 0 20 0 15 0 243867164 14420721664 11949 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3520684 11949 3363 1 0 3482761 0
[pid=13178/tid=13180] ppid=13175 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 7758 0 0 0 17 2 0 0 20 0 15 0 243867165 14420721664 11949 33554432000 4194304 4196468 140722763868432 139784104159920 139784099945878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14082736 memory=4211973835589582218 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 11949 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 11949 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 11949 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 11949 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243867167 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243867167 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783572005664 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243867168 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783570953328 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 243867170 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 243867170 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0.05 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) R 13175 13178 12124 0 -1 4202560 281 0 0 0 5 0 0 0 20 0 15 0 243867170 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783566744432 139784078891725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 11949 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47796 KiB
[startup+0.310425 s]*
/proc/loadavg: 1.55 1.50 1.44 3/216 13193
/proc/meminfo: memFree=21862864/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14082736 memory=50936 CPUtime=0.43 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 10395 0 0 0 40 3 0 0 20 0 15 0 243867164 14420721664 12734 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3520684 12734 3366 1 0 3482761 0
[pid=13178/tid=13180] ppid=13175 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 8093 0 0 0 27 2 0 0 20 0 15 0 243867165 14420721664 12734 33554432000 4194304 4196468 140722763868432 139784104123216 139784081497518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14082736 memory=4211973835589582218 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 12734 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14082736 memory=140109384794024 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 12734 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14082736 memory=140109282400620 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 12734 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14082736 memory=140109282397647 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243867166 14420721664 12734 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14082736 memory=140109384803831 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243867167 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14082736 memory=140109282406863 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243867167 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783572005664 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14082736 memory=280218564804496 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243867168 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783570953328 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14082736 memory=280218564802160 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 243867170 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14082736 memory=2240 CPUtime=0.01 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 15 0 243867170 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0.08 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 15 0 243867170 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14082736 memory=140109384791680 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867170 14420721664 12734 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50936 KiB
[startup+0.700731 s]
/proc/loadavg: 1.55 1.50 1.44 3/216 13193
/proc/meminfo: memFree=21838432/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14084804 memory=88808 CPUtime=0.97 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 17102 0 0 0 92 5 0 0 20 0 15 0 243867164 14422839296 22202 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3521201 22202 3498 1 0 3483273 0
[pid=13178/tid=13180] ppid=13175 vsize=14084804 memory=1612 CPUtime=0.67 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 14432 0 0 0 63 4 0 0 20 0 15 0 243867165 14422839296 22202 33554432000 4194304 4196468 140722763868432 139784104158048 139784084014430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14084804 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14422839296 22202 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14422839296 22202 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14084804 memory=7235408084361307456 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14422839296 22202 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14084804 memory=7739276948478389351 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243867166 14422839296 22202 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14084804 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243867167 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243867167 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783572005664 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243867168 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783570953328 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14084804 memory=8744 CPUtime=0.06 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 583 0 0 0 6 0 0 0 20 0 15 0 243867170 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14084804 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 350 0 0 0 7 0 0 0 20 0 15 0 243867170 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 356 0 0 0 15 0 0 0 20 0 15 0 243867170 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14084804 memory=280218564988400 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867170 14422839296 22202 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88808 KiB
[startup+1.50076 s]
/proc/loadavg: 1.66 1.53 1.45 5/216 13193
/proc/meminfo: memFree=21806172/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14088900 memory=193224 CPUtime=2.67 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 25474 0 0 0 259 8 0 0 20 0 15 0 243867164 14427033600 48306 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3522225 48306 3539 1 0 3484297 0
[pid=13178/tid=13180] ppid=13175 vsize=14088900 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 18427 0 0 0 140 6 0 0 20 0 15 0 243867165 14427033600 48306 33554432000 4194304 4196468 140722763868432 139784104170864 139783691244951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14088900 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14427033600 48306 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14088900 memory=4948223015321967488 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14427033600 48306 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14088900 memory=-5937291674679385897 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243867166 14427033600 48306 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14088900 memory=-6224641368531621763 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243867166 14427033600 48306 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14088900 memory=-7018132526413599278 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 243867167 14427033600 48306 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
################
# More data... #
################
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 49410 0 0 0 235886 39 0 0 20 0 15 0 243867165 14427033600 78402 33554432000 4194304 4196468 140722763868432 139784104172256 139783687982109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14088900 memory=313608 CPUtime=10.59 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 4885 0 0 0 996 63 0 0 20 0 15 0 243867166 14427033600 78402 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14088900 memory=313608 CPUtime=10.69 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 2553 0 0 0 1000 69 0 0 20 0 15 0 243867166 14427033600 78402 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14088900 memory=313608 CPUtime=10.65 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 4011 0 0 0 995 70 0 0 20 0 15 0 243867166 14427033600 78402 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14088900 memory=280218566472384 CPUtime=10.67 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2830 0 0 0 1000 67 0 0 20 0 15 0 243867166 14427033600 78402 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14088900 memory=309512 CPUtime=9.59 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 6842 0 0 0 893 66 0 0 20 0 15 0 243867167 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243867167 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783572005728 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 243867168 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783570953344 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14088900 memory=313608 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14088900 memory=313608 CPUtime=0.42 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 1787 0 0 0 41 1 0 0 20 0 15 0 243867170 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14088900 memory=313608 CPUtime=0.48 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 1809 0 0 0 47 1 0 0 20 0 15 0 243867170 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14088900 memory=313608 CPUtime=0.39 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 3083 0 0 0 39 0 0 0 20 0 15 0 243867170 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14088900 memory=313608 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14088900 memory=313608 CPUtime=1.29 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1189 0 0 0 55 74 0 0 20 0 15 0 243867170 14427033600 78402 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 2414.12 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 313608 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.33 1.37 3/216 13342
/proc/meminfo: memFree=21666856/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14088900 memory=315656 CPUtime=2475.07 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 81091 0 0 0 247138 369 0 0 20 0 15 0 243867164 14427033600 78914 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3522225 78914 3567 1 0 3484297 0
[pid=13178/tid=13180] ppid=13175 vsize=14088900 memory=6791534058613427641 CPUtime=2418.61 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 50135 0 0 0 241821 40 0 0 20 0 15 0 243867165 14427033600 78914 33554432000 4194304 4196468 140722763868432 139784104172368 139783691236817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14088900 memory=315656 CPUtime=10.92 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 4893 0 0 0 1027 65 0 0 20 0 15 0 243867166 14427033600 78914 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14088900 memory=280218566472384 CPUtime=11.02 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 2664 0 0 0 1031 71 0 0 20 0 15 0 243867166 14427033600 78914 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14088900 memory=309512 CPUtime=10.99 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 4125 0 0 0 1028 71 0 0 20 0 15 0 243867166 14427033600 78914 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14088900 memory=0 CPUtime=11.01 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 2950 0 0 0 1032 69 0 0 20 0 15 0 243867166 14427033600 78914 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14088900 memory=0 CPUtime=9.83 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 7018 0 0 0 915 68 0 0 20 0 15 0 243867167 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14088900 memory=315656 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243867167 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783572005728 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14088900 memory=2216 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 243867168 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783570953344 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14088900 memory=315656 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14088900 memory=315656 CPUtime=0.42 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 1789 0 0 0 41 1 0 0 20 0 15 0 243867170 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14088900 memory=315656 CPUtime=0.48 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 1811 0 0 0 47 1 0 0 20 0 15 0 243867170 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14088900 memory=315656 CPUtime=0.39 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 3085 0 0 0 39 0 0 0 20 0 15 0 243867170 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14088900 memory=315656 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14088900 memory=6791534058613427641 CPUtime=1.32 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1204 0 0 0 56 76 0 0 20 0 15 0 243867170 14427033600 78914 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 2475.07 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 315656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2486.5 s]
/proc/loadavg: 1.37 1.36 1.38 3/216 13342
/proc/meminfo: memFree=21663520/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14088900 memory=317704 CPUtime=2520.04 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 82224 0 0 0 251628 376 0 0 20 0 15 0 243867164 14427033600 79426 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3522225 79426 3567 1 0 3484297 0
[pid=13178/tid=13180] ppid=13175 vsize=14088900 memory=317704 CPUtime=2462.3 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 50732 0 0 0 246189 41 0 0 20 0 15 0 243867165 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784104172208 139783691237708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14088900 memory=280218564699712 CPUtime=11.18 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 4900 0 0 0 1052 66 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14088900 memory=317704 CPUtime=11.29 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 2730 0 0 0 1056 73 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14088900 memory=317704 CPUtime=11.25 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 4269 0 0 0 1053 72 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14088900 memory=317704 CPUtime=11.27 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 3075 0 0 0 1057 70 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14088900 memory=317704 CPUtime=10.01 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 7192 0 0 0 932 69 0 0 20 0 15 0 243867167 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14088900 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243867167 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783572005728 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14088900 memory=317704 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 243867168 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783570953344 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14088900 memory=280218564869240 CPUtime=0.42 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 1792 0 0 0 41 1 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14088900 memory=317704 CPUtime=0.48 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 1813 0 0 0 47 1 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14088900 memory=317704 CPUtime=0.39 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 3087 0 0 0 39 0 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14088900 memory=317704 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14088900 memory=3984 CPUtime=1.35 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1217 0 0 0 58 77 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 317704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.51 s]
# the end of solver process 13178 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.29 s, system=3.76525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2486.5 s]
/proc/loadavg: 1.37 1.36 1.38 3/216 13342
/proc/meminfo: memFree=21663520/32770624 swapFree=67105356/67108860
[pid=13178] ppid=13175 vsize=14088900 memory=317704 CPUtime=2520.04 cores=1,3,5,7
/proc/13178/stat : 13178 (java) S 13175 13178 12124 0 -1 1077944320 82224 0 0 0 251628 376 0 0 20 0 15 0 243867164 14427033600 79426 33554432000 4194304 4196468 140722763868432 140722763850976 139784099933943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
/proc/13178/statm: 3522225 79426 3567 1 0 3484297 0
[pid=13178/tid=13180] ppid=13175 vsize=14088900 memory=317704 CPUtime=2462.3 cores=1,3,5,7
/proc/13178/task/13180/stat : 13180 (java) R 13175 13178 12124 0 -1 4202560 50732 0 0 0 246189 41 0 0 20 0 15 0 243867165 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784104172208 139783691237708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13181] ppid=13175 vsize=14088900 memory=280218564699712 CPUtime=11.18 cores=1,3,5,7
/proc/13178/task/13181/stat : 13181 (java) S 13175 13178 12124 0 -1 1077944384 4900 0 0 0 1052 66 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784015002512 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13182] ppid=13175 vsize=14088900 memory=317704 CPUtime=11.29 cores=1,3,5,7
/proc/13178/task/13182/stat : 13182 (java) S 13175 13178 12124 0 -1 1077944384 2730 0 0 0 1056 73 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784013949712 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13183] ppid=13175 vsize=14088900 memory=317704 CPUtime=11.25 cores=1,3,5,7
/proc/13178/task/13183/stat : 13183 (java) S 13175 13178 12124 0 -1 1077944384 4269 0 0 0 1053 72 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784012897424 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13184] ppid=13175 vsize=14088900 memory=317704 CPUtime=11.27 cores=1,3,5,7
/proc/13178/task/13184/stat : 13184 (java) S 13175 13178 12124 0 -1 1077944384 3075 0 0 0 1057 70 0 0 20 0 15 0 243867166 14427033600 79426 33554432000 4194304 4196468 140722763868432 139784011844624 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13185] ppid=13175 vsize=14088900 memory=317704 CPUtime=10.01 cores=1,3,5,7
/proc/13178/task/13185/stat : 13185 (java) S 13175 13178 12124 0 -1 1077944384 7192 0 0 0 932 69 0 0 20 0 15 0 243867167 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783573059696 139784099945090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13186] ppid=13175 vsize=14088900 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13186/stat : 13186 (java) S 13175 13178 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243867167 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783572005728 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13187] ppid=13175 vsize=14088900 memory=317704 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13187/stat : 13187 (java) S 13175 13178 12124 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 243867168 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783570953344 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13188] ppid=13175 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13188/stat : 13188 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783569901648 139784099952539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13189] ppid=13175 vsize=14088900 memory=280218564869240 CPUtime=0.42 cores=1,3,5,7
/proc/13178/task/13189/stat : 13189 (java) S 13175 13178 12124 0 -1 1077944384 1792 0 0 0 41 1 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783568849520 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13190] ppid=13175 vsize=14088900 memory=317704 CPUtime=0.48 cores=1,3,5,7
/proc/13178/task/13190/stat : 13190 (java) S 13175 13178 12124 0 -1 1077944384 1813 0 0 0 47 1 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783567796720 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13191] ppid=13175 vsize=14088900 memory=317704 CPUtime=0.39 cores=1,3,5,7
/proc/13178/task/13191/stat : 13191 (java) S 13175 13178 12124 0 -1 1077944384 3087 0 0 0 39 0 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783566744432 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13192] ppid=13175 vsize=14088900 memory=317704 CPUtime=0 cores=1,3,5,7
/proc/13178/task/13192/stat : 13192 (java) S 13175 13178 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783565691872 139784099944149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
[pid=13178/tid=13193] ppid=13175 vsize=14088900 memory=3984 CPUtime=1.35 cores=1,3,5,7
/proc/13178/task/13193/stat : 13193 (java) S 13175 13178 12124 0 -1 1077944384 1217 0 0 0 58 77 0 0 20 0 15 0 243867170 14427033600 79426 33554432000 4194304 4196468 140722763868432 139783564638640 139784099945090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 15810560 140722763875408 140722763875593 140722763875593 140722763878351 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 317704 KiB
Child status: 143
Real time (s): 2486.51
CPU time (s): 2520.06
CPU user time (s): 2516.29
CPU system time (s): 3.76525
CPU usage (%): 101.349
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 317704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.29
system time used= 3.76525
maximum resident set size= 318264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 329557
involuntary context switches= 5664
# summary of solver processes directly reported to runsolver:
# pid: 13178
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.29
# total CPU system time (s): 3.76525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9833 second user time and 22.8123 second system time
The end