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-4092124-1466108484/watcher-4092124-1466108484 -o /tmp/evaluation-result-4092124-1466108484/solver-4092124-1466108484 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466103795-17578 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092124-1466108484.wbo
pid=18690
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.01 3.11 3.40 3/195 18693
/proc/meminfo: memFree=23810892/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18693/stat : 18693 (java) D 18690 18693 16914 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 12895028 9515008 176 33554432000 1073741824 1073778376 140733473977696 140733473960424 262962758544 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/18693/statm: 2323 176 133 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 3.01 3.11 3.40 3/195 18693
/proc/meminfo: memFree=23810892/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 4332 0 1 0 7 1 0 0 20 0 18 0 12895028 9787879424 5454 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2389619 5456 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200329 s]
/proc/loadavg: 3.01 3.11 3.40 3/195 18693
/proc/meminfo: memFree=23810892/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 4715 0 1 0 21 1 0 0 20 0 18 0 12895028 9787879424 6811 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2389619 6811 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300242 s]
/proc/loadavg: 3.01 3.11 3.40 3/195 18693
/proc/meminfo: memFree=23810892/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 6083 0 1 0 43 2 0 0 20 0 22 0 12895028 10060525568 9689 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 9689 2240 9 0 2446860 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9824732
[startup+0.70027 s]
/proc/loadavg: 3.01 3.11 3.40 3/195 18693
/proc/meminfo: memFree=23810892/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 7040 0 1 0 78 3 0 0 20 0 19 0 12895028 10060525568 10648 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 10648 2255 9 0 2446860 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 2.85 3.07 3.38 2/214 18718
/proc/meminfo: memFree=23774424/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 9307 0 1 0 115 8 0 0 20 0 19 0 12895028 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 13040 2256 9 0 2446860 0
[pid=18693/tid=18695] ppid=18690 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/18693/task/18695/stat : 18695 (java) S 18690 18693 16914 0 -1 4202560 2423 0 1 0 21 2 0 0 20 0 19 0 12895030 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302535943032 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18696] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18696/stat : 18696 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302497434024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18697] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18697/stat : 18697 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302496381480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18698] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18698/stat : 18698 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302495328424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18699] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18699/stat : 18699 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302494275880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18700] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18700/stat : 18700 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302493223848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18701] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18701/stat : 18701 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302492171304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18702] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18702/stat : 18702 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302491118248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18703] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18703/stat : 18703 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302490065704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18704] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18704/stat : 18704 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12895032 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302359894376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18705] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18705/stat : 18705 (java) S 18690 18693 16914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12895033 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302358840696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18706] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18706/stat : 18706 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12895033 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302357787528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18707] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18707/stat : 18707 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895035 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302356736272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18708] ppid=18690 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/18693/task/18708/stat : 18708 (java) S 18690 18693 16914 0 -1 4202560 3383 0 0 0 32 0 0 0 20 0 19 0 12895035 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140302355684152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18709] ppid=18690 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/18693/task/18709/stat : 18709 (java) S 18690 18693 16914 0 -1 4202560 2145 0 0 0 29 0 0 0 20 0 19 0 12895035 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140301482060728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18710] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18710/stat : 18710 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895035 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140301481007864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18711] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18711/stat : 18711 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895035 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140301479955528 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18715] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18715/stat : 18715 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12895055 10060525568 13040 33554432000 1073741824 1073778376 140734253648368 140301475742632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9824732
[startup+3.1008 s]
/proc/loadavg: 2.85 3.07 3.38 2/214 18724
/proc/meminfo: memFree=23749916/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 14763 0 1 0 155 11 0 0 20 0 19 0 12895028 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 19580 2261 9 0 2446860 0
[pid=18693/tid=18695] ppid=18690 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18693/task/18695/stat : 18695 (java) S 18690 18693 16914 0 -1 4202560 2425 0 1 0 22 2 0 0 20 0 19 0 12895030 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302535943032 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18696] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18696/stat : 18696 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302497434024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18697] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18697/stat : 18697 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302496381480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18698] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18698/stat : 18698 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302495328424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18699] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18699/stat : 18699 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302494275880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18700] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18700/stat : 18700 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302493223848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18701] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18701/stat : 18701 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302492171304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18702] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18702/stat : 18702 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302491118248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18703] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18703/stat : 18703 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12895031 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302490065704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18704] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18704/stat : 18704 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12895032 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302359894376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18705] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18705/stat : 18705 (java) S 18690 18693 16914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12895033 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302358840696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18706] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18706/stat : 18706 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12895033 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302357787528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18707] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18707/stat : 18707 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895035 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302356736272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18708] ppid=18690 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/18693/task/18708/stat : 18708 (java) S 18690 18693 16914 0 -1 4202560 6758 0 0 0 56 1 0 0 20 0 19 0 12895035 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140302355684152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18709] ppid=18690 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/18693/task/18709/stat : 18709 (java) S 18690 18693 16914 0 -1 4202560 4197 0 0 0 42 0 0 0 20 0 19 0 12895035 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140301482060728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18710] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18710/stat : 18710 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895035 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140301481007864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18711] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18711/stat : 18711 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12895035 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140301479955528 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18715] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18715/stat : 18715 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12895055 10060525568 19580 33554432000 1073741824 1073778376 140734253648368 140301475742632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30091 s]
/proc/loadavg: 2.85 3.07 3.38 4/217 18742
/proc/meminfo: memFree=23643540/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=5.9 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 14907 0 1 0 574 16 0 0 20 0 22 0 12895028 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 43523 2284 9 0 2446860 0
[pid=18693/tid=18695] ppid=18690 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/18693/task/18695/stat : 18695 (java) S 18690 18693 16914 0 -1 4202560 2427 0 1 0 23 2 0 0 20 0 22 0 12895030 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302535943032 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18696] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18696/stat : 18696 (java) S 18690 18693 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302497434024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18697] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18697/stat : 18697 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302496381480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18698] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18698/stat : 18698 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302495328424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18699] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18699/stat : 18699 (java) S 18690 18693 16914 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302494275880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18700] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18700/stat : 18700 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302493223848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18701] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18701/stat : 18701 (java) S 18690 18693 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302492171304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18702] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18702/stat : 18702 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302491118248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18703] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18703/stat : 18703 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12895031 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302490065704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18704] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18704/stat : 18704 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12895032 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302359894376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18705] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18705/stat : 18705 (java) S 18690 18693 16914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302358840696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18706] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18706/stat : 18706 (java) S 18690 18693 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302357787528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18707] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18707/stat : 18707 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302356736272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18708] ppid=18690 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/18693/task/18708/stat : 18708 (java) S 18690 18693 16914 0 -1 4202560 6781 0 0 0 78 1 0 0 20 0 22 0 12895035 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140302355684152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18709] ppid=18690 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/18693/task/18709/stat : 18709 (java) S 18690 18693 16914 0 -1 4202560 4203 0 0 0 62 0 0 0 20 0 22 0 12895035 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140301482060728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18710] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18710/stat : 18710 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140301481007864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18711] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18711/stat : 18711 (java) S 18690 18693 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140301479955528 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18715] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18715/stat : 18715 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12895055 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140301475742632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18740] ppid=18690 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/18693/task/18740/stat : 18740 (java) R 18690 18693 16914 0 -1 4202560 6 0 0 0 147 0 0 0 20 0 22 0 12895507 10060525568 43523 33554432000 1073741824 1073778376 140734253648368 140301478900920 140302371526501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
/proc/18693/task/18698/stat : 18698 (java) S 18690 18693 16914 0 -1 4202560 753 0 0 0 314 20 0 0 20 0 22 0 12895031 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302495328424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18699] ppid=18690 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/18693/task/18699/stat : 18699 (java) S 18690 18693 16914 0 -1 4202560 572 0 0 0 312 17 0 0 20 0 22 0 12895031 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302494275880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18700] ppid=18690 vsize=9824732 CPUtime=3.61 cores=1,3,5,7
/proc/18693/task/18700/stat : 18700 (java) S 18690 18693 16914 0 -1 4202560 631 0 0 0 339 22 0 0 20 0 22 0 12895031 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302493223848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18701] ppid=18690 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/18693/task/18701/stat : 18701 (java) S 18690 18693 16914 0 -1 4202560 798 0 0 0 315 19 0 0 20 0 22 0 12895031 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302492171304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18702] ppid=18690 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/18693/task/18702/stat : 18702 (java) S 18690 18693 16914 0 -1 4202560 714 0 0 0 315 24 0 0 20 0 22 0 12895031 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302491118248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18703] ppid=18690 vsize=9824732 CPUtime=3.78 cores=1,3,5,7
/proc/18693/task/18703/stat : 18703 (java) S 18690 18693 16914 0 -1 4202560 576 0 0 0 356 22 0 0 20 0 22 0 12895031 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302490065704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18704] ppid=18690 vsize=9824732 CPUtime=4.36 cores=1,3,5,7
/proc/18693/task/18704/stat : 18704 (java) S 18690 18693 16914 0 -1 4202560 2706 0 0 0 431 5 0 0 20 0 22 0 12895032 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302359894376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18705] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18705/stat : 18705 (java) S 18690 18693 16914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302358840696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18706] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18706/stat : 18706 (java) S 18690 18693 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302357787528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18707] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18707/stat : 18707 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302356736272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18708] ppid=18690 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/18693/task/18708/stat : 18708 (java) S 18690 18693 16914 0 -1 4202560 9021 0 0 0 125 2 0 0 20 0 22 0 12895035 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140302355684152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18709] ppid=18690 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/18693/task/18709/stat : 18709 (java) S 18690 18693 16914 0 -1 4202560 4233 0 0 0 84 0 0 0 20 0 22 0 12895035 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301482060728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18710] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18710/stat : 18710 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301481007864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18711] ppid=18690 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18693/task/18711/stat : 18711 (java) S 18690 18693 16914 0 -1 4202560 52 0 0 0 12 25 0 0 20 0 22 0 12895035 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301479955528 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18715] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18715/stat : 18715 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12895055 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301475742632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18740] ppid=18690 vsize=9824732 CPUtime=863.39 cores=1,3,5,7
/proc/18693/task/18740/stat : 18740 (java) R 18690 18693 16914 0 -1 4202560 57 0 0 0 86324 15 0 0 20 0 22 0 12895507 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301478899584 140302371744515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18741] ppid=18690 vsize=9824732 CPUtime=863.36 cores=1,3,5,7
/proc/18693/task/18741/stat : 18741 (java) R 18690 18693 16914 0 -1 4202560 1997 0 0 0 86288 48 0 0 20 0 22 0 12895507 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301476793520 140302371757265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18742] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18742/stat : 18742 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12895508 10060525568 990638 33554432000 1073741824 1073778376 140734253648368 140301477848360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1767.74
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.301 s]
/proc/loadavg: 4.00 3.96 3.71 5/219 18858
/proc/meminfo: memFree=25115540/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 27406 0 1 0 179753 253 0 0 20 0 22 0 12895028 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 999343 2294 9 0 2446860 0
[pid=18693/tid=18695] ppid=18690 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/18693/task/18695/stat : 18695 (java) S 18690 18693 16914 0 -1 4202560 2440 0 1 0 26 3 0 0 20 0 22 0 12895030 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302535943032 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18696] ppid=18690 vsize=9824732 CPUtime=3.74 cores=1,3,5,7
/proc/18693/task/18696/stat : 18696 (java) S 18690 18693 16914 0 -1 4202560 827 0 0 0 353 21 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302497434024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18697] ppid=18690 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/18693/task/18697/stat : 18697 (java) S 18690 18693 16914 0 -1 4202560 576 0 0 0 381 22 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302496381480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18698] ppid=18690 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/18693/task/18698/stat : 18698 (java) S 18690 18693 16914 0 -1 4202560 757 0 0 0 318 20 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302495328424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18699] ppid=18690 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/18693/task/18699/stat : 18699 (java) S 18690 18693 16914 0 -1 4202560 581 0 0 0 321 18 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302494275880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18700] ppid=18690 vsize=9824732 CPUtime=3.66 cores=1,3,5,7
/proc/18693/task/18700/stat : 18700 (java) S 18690 18693 16914 0 -1 4202560 632 0 0 0 344 22 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302493223848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18701] ppid=18690 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/18693/task/18701/stat : 18701 (java) S 18690 18693 16914 0 -1 4202560 803 0 0 0 324 20 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302492171304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18702] ppid=18690 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/18693/task/18702/stat : 18702 (java) S 18690 18693 16914 0 -1 4202560 718 0 0 0 324 24 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302491118248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18703] ppid=18690 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/18693/task/18703/stat : 18703 (java) S 18690 18693 16914 0 -1 4202560 581 0 0 0 364 22 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302490065704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18704] ppid=18690 vsize=9824732 CPUtime=4.36 cores=1,3,5,7
/proc/18693/task/18704/stat : 18704 (java) S 18690 18693 16914 0 -1 4202560 2706 0 0 0 431 5 0 0 20 0 22 0 12895032 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302359894376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18705] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18705/stat : 18705 (java) S 18690 18693 16914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302358840696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18706] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18706/stat : 18706 (java) S 18690 18693 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302357787528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18707] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18707/stat : 18707 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302356736272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18708] ppid=18690 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/18693/task/18708/stat : 18708 (java) S 18690 18693 16914 0 -1 4202560 9021 0 0 0 125 2 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302355684152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18709] ppid=18690 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/18693/task/18709/stat : 18709 (java) S 18690 18693 16914 0 -1 4202560 4233 0 0 0 84 0 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301482060728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18710] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18710/stat : 18710 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301481007864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18711] ppid=18690 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18693/task/18711/stat : 18711 (java) S 18690 18693 16914 0 -1 4202560 52 0 0 0 12 25 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301479955528 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18715] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18715/stat : 18715 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12895055 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301475742632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18740] ppid=18690 vsize=9824732 CPUtime=879.15 cores=1,3,5,7
/proc/18693/task/18740/stat : 18740 (java) R 18690 18693 16914 0 -1 4202560 58 0 0 0 87900 15 0 0 20 0 22 0 12895507 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301478899600 140302371809693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18741] ppid=18690 vsize=9824732 CPUtime=879.13 cores=1,3,5,7
/proc/18693/task/18741/stat : 18741 (java) R 18690 18693 16914 0 -1 4202560 1997 0 0 0 87865 48 0 0 20 0 22 0 12895507 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301476793520 140302372041781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18742] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18742/stat : 18742 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12895508 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301477848360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
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 18693 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+898.301 s]
/proc/loadavg: 4.00 3.96 3.71 5/219 18858
/proc/meminfo: memFree=25115540/32872528 swapFree=302776/319128
[pid=18693] ppid=18690 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/18693/stat : 18693 (java) S 18690 18693 16914 0 -1 4202496 27406 0 1 0 179753 253 0 0 20 0 22 0 12895028 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140734253639504 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18693/statm: 2456183 999343 2294 9 0 2446860 0
[pid=18693/tid=18695] ppid=18690 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/18693/task/18695/stat : 18695 (java) S 18690 18693 16914 0 -1 4202560 2440 0 1 0 26 3 0 0 20 0 22 0 12895030 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302535943032 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18696] ppid=18690 vsize=9824732 CPUtime=3.74 cores=1,3,5,7
/proc/18693/task/18696/stat : 18696 (java) S 18690 18693 16914 0 -1 4202560 827 0 0 0 353 21 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302497434024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18697] ppid=18690 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/18693/task/18697/stat : 18697 (java) S 18690 18693 16914 0 -1 4202560 576 0 0 0 381 22 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302496381480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18698] ppid=18690 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/18693/task/18698/stat : 18698 (java) S 18690 18693 16914 0 -1 4202560 757 0 0 0 318 20 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302495328424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18699] ppid=18690 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/18693/task/18699/stat : 18699 (java) S 18690 18693 16914 0 -1 4202560 581 0 0 0 321 18 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302494275880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18700] ppid=18690 vsize=9824732 CPUtime=3.66 cores=1,3,5,7
/proc/18693/task/18700/stat : 18700 (java) S 18690 18693 16914 0 -1 4202560 632 0 0 0 344 22 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302493223848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18701] ppid=18690 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/18693/task/18701/stat : 18701 (java) S 18690 18693 16914 0 -1 4202560 803 0 0 0 324 20 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302492171304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18693/tid=18702] ppid=18690 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/18693/task/18702/stat : 18702 (java) S 18690 18693 16914 0 -1 4202560 718 0 0 0 324 24 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302491118248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18693/tid=18703] ppid=18690 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/18693/task/18703/stat : 18703 (java) S 18690 18693 16914 0 -1 4202560 581 0 0 0 364 22 0 0 20 0 22 0 12895031 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302490065704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18704] ppid=18690 vsize=9824732 CPUtime=4.36 cores=1,3,5,7
/proc/18693/task/18704/stat : 18704 (java) S 18690 18693 16914 0 -1 4202560 2706 0 0 0 431 5 0 0 20 0 22 0 12895032 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302359894376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18705] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18705/stat : 18705 (java) S 18690 18693 16914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302358840696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18706] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18706/stat : 18706 (java) S 18690 18693 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 12895033 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302357787528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18707] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18707/stat : 18707 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302356736272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18708] ppid=18690 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/18693/task/18708/stat : 18708 (java) S 18690 18693 16914 0 -1 4202560 9021 0 0 0 125 2 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140302355684152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18709] ppid=18690 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/18693/task/18709/stat : 18709 (java) S 18690 18693 16914 0 -1 4202560 4233 0 0 0 84 0 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301482060728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18710] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18710/stat : 18710 (java) S 18690 18693 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301481007864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18711] ppid=18690 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18693/task/18711/stat : 18711 (java) S 18690 18693 16914 0 -1 4202560 52 0 0 0 12 25 0 0 20 0 22 0 12895035 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301479955528 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18715] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18715/stat : 18715 (java) S 18690 18693 16914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12895055 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301475742632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18740] ppid=18690 vsize=9824732 CPUtime=879.15 cores=1,3,5,7
/proc/18693/task/18740/stat : 18740 (java) R 18690 18693 16914 0 -1 4202560 58 0 0 0 87900 15 0 0 20 0 22 0 12895507 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301478899600 140302371809693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18693/tid=18741] ppid=18690 vsize=9824732 CPUtime=879.13 cores=1,3,5,7
/proc/18693/task/18741/stat : 18741 (java) R 18690 18693 16914 0 -1 4202560 1997 0 0 0 87865 48 0 0 20 0 22 0 12895507 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301476793520 140302372041781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18693/tid=18742] ppid=18690 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18693/task/18742/stat : 18742 (java) S 18690 18693 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12895508 10060525568 999343 33554432000 1073741824 1073778376 140734253648368 140301477848360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18693 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=39416
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=966549
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.372
CPU time (s): 1800.06
CPU user time (s): 1797.53
CPU system time (s): 2.53
CPU usage (%): 200.369
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.04
system time used= 2.96655
maximum resident set size= 3997536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27457
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23247
involuntary context switches= 26256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68513 second user time and 7.57285 second system time
The end