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-4098109-1466115332/watcher-4098109-1466115332 -o /tmp/evaluation-result-4098109-1466115332/solver-4098109-1466115332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466112183-7573 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4098109-1466115332.opb
pid=11788
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: 4.16 4.26 4.13 4/197 11791
/proc/meminfo: memFree=27482932/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 13581819 98570240 978 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 24065 978 744 9 0 16771 0
[pid=11791/tid=11792] ppid=11788 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) R 11788 11791 7556 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 13581820 98570240 978 33554432000 1073741824 1073778376 140734249430720 140402265493032 272886482304 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.16 4.26 4.13 4/197 11791
/proc/meminfo: memFree=27482932/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 4511 0 1 0 9 1 0 0 20 0 18 0 13581819 9787879424 6133 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2389619 6133 2156 9 0 2380296 0
[pid=11791/tid=11792] ppid=11788 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) R 11788 11791 7556 0 -1 4202560 2384 0 1 0 6 1 0 0 20 0 18 0 13581820 9787879424 6133 33554432000 1073741824 1073778376 140734249430720 140402265496480 272889865485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200276 s]
/proc/loadavg: 4.16 4.26 4.13 4/197 11791
/proc/meminfo: memFree=27482932/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 6465 0 1 0 29 2 0 0 20 0 18 0 13581819 9787879424 8610 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2389619 8610 2221 9 0 2380296 0
[pid=11791/tid=11792] ppid=11788 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) R 11788 11791 7556 0 -1 4202560 2401 0 1 0 16 2 0 0 20 0 18 0 13581820 9787879424 8610 33554432000 1073741824 1073778376 140734249430720 140402265496264 140402095153871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300314 s]
/proc/loadavg: 4.16 4.26 4.13 4/197 11791
/proc/meminfo: memFree=27482932/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 7023 0 1 0 57 2 0 0 20 0 18 0 13581819 9787879424 11309 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2389619 11309 2234 9 0 2380296 0
[pid=11791/tid=11792] ppid=11788 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) R 11788 11791 7556 0 -1 4202560 2406 0 1 0 26 2 0 0 20 0 18 0 13581820 9787879424 11309 33554432000 1073741824 1073778376 140734249430720 140402265496264 140402095138007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476
[startup+0.700243 s]
/proc/loadavg: 4.16 4.26 4.13 4/197 11791
/proc/meminfo: memFree=27482932/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9558476 CPUtime=1.13 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 12428 0 1 0 107 6 0 0 20 0 18 0 13581819 9787879424 44877 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2389619 44877 2255 9 0 2380296 0
[pid=11791/tid=11792] ppid=11788 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) R 11788 11791 7556 0 -1 4202560 2466 0 1 0 63 4 0 0 20 0 18 0 13581820 9787879424 44877 33554432000 1073741824 1073778376 140734249430720 140402265496896 140402095520818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9558476
[startup+1.50073 s]
/proc/loadavg: 4.16 4.26 4.13 6/215 11809
/proc/meminfo: memFree=27270284/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 33716 0 1 0 352 11 0 0 20 0 22 0 13581819 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2456183 59197 2275 9 0 2446860 0
[pid=11791/tid=11792] ppid=11788 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) S 11788 11791 7556 0 -1 4202560 2484 0 1 0 121 4 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402265498488 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11794] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11794/stat : 11794 (java) S 11788 11791 7556 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402226989224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11795] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11795/stat : 11795 (java) S 11788 11791 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402225936680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11796] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11796/stat : 11796 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402224884136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11797] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11797/stat : 11797 (java) S 11788 11791 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402223831592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11798] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11798/stat : 11798 (java) S 11788 11791 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402222779048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11799] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11799/stat : 11799 (java) S 11788 11791 7556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402221726504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11800] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11800/stat : 11800 (java) S 11788 11791 7556 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402220673960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11801] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11801/stat : 11801 (java) S 11788 11791 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402219621416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11802] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11802/stat : 11802 (java) S 11788 11791 7556 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 13581821 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402089760872 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11803] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11803/stat : 11803 (java) S 11788 11791 7556 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402088707192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11804] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11804/stat : 11804 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402087654536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11805] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11805/stat : 11805 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402086603280 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11806] ppid=11788 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/11791/task/11806/stat : 11806 (java) R 11788 11791 7556 0 -1 4202560 18190 0 0 0 101 3 0 0 20 0 22 0 13581824 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402085538216 140402273215155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11807] ppid=11788 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/11791/task/11807/stat : 11807 (java) R 11788 11791 7556 0 -1 4202560 11607 0 0 0 81 2 0 0 20 0 22 0 13581824 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402084485344 140402272472447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11808] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11808/stat : 11808 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402083445752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11809] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11809/stat : 11809 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 59197 33554432000 1073741824 1073778376 140734249430720 140402082393416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 4.16 4.26 4.13 7/219 11813
/proc/meminfo: memFree=27229420/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9824732 CPUtime=8.66 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 36944 0 1 0 855 11 0 0 20 0 22 0 13581819 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2456183 58336 2288 9 0 2446860 0
[pid=11791/tid=11792] ppid=11788 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) S 11788 11791 7556 0 -1 4202560 2484 0 1 0 121 4 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402265498488 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11794] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11794/stat : 11794 (java) S 11788 11791 7556 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402226989224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11795] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11795/stat : 11795 (java) S 11788 11791 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402225936680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11796] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11796/stat : 11796 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402224884136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11797] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11797/stat : 11797 (java) S 11788 11791 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402223831592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11798] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11798/stat : 11798 (java) S 11788 11791 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402222779048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11799] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11799/stat : 11799 (java) S 11788 11791 7556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402221726504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11800] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11800/stat : 11800 (java) S 11788 11791 7556 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402220673960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11801] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11801/stat : 11801 (java) S 11788 11791 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402219621416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11802] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11802/stat : 11802 (java) S 11788 11791 7556 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 13581821 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402089760872 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11803] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11803/stat : 11803 (java) S 11788 11791 7556 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402088707192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11804] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11804/stat : 11804 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402087654536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11805] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11805/stat : 11805 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402086603280 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11806] ppid=11788 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/11791/task/11806/stat : 11806 (java) S 11788 11791 7556 0 -1 4202560 20228 0 0 0 189 4 0 0 20 0 22 0 13581824 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402085550648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11807] ppid=11788 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/11791/task/11807/stat : 11807 (java) S 11788 11791 7556 0 -1 4202560 12784 0 0 0 176 3 0 0 20 0 22 0 13581824 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402084498104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11808] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11808/stat : 11808 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402083445752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11809] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11809/stat : 11809 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402082393416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11810] ppid=11788 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/11791/task/11810/stat : 11810 (java) R 11788 11791 7556 0 -1 4202560 22 0 0 0 179 0 0 0 20 0 22 0 13581949 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402081288392 140402096213632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11811] ppid=11788 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/11791/task/11811/stat : 11811 (java) R 11788 11791 7556 0 -1 4202560 28 0 0 0 177 0 0 0 20 0 22 0 13581949 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140402080235224 140402096334811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11812] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11812/stat : 11812 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140400937395240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11813] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11813/stat : 11813 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 58336 33554432000 1073741824 1073778376 140734249430720 140400936342696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.23 4.27 4.14 6/219 11813
/proc/meminfo: memFree=27212032/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9824732 CPUtime=15.41 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 37005 0 1 0 1525 16 0 0 20 0 22 0 13581819 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2456183 62749 2293 9 0 2446860 0
[pid=11791/tid=11792] ppid=11788 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) S 11788 11791 7556 0 -1 4202560 2484 0 1 0 121 4 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402265498488 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11794] ppid=11788 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11791/task/11794/stat : 11794 (java) S 11788 11791 7556 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402226989224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11795] ppid=11788 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11791/task/11795/stat : 11795 (java) S 11788 11791 7556 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402225936680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11796] ppid=11788 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11791/task/11796/stat : 11796 (java) S 11788 11791 7556 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402224884136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11797] ppid=11788 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11791/task/11797/stat : 11797 (java) S 11788 11791 7556 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402223831592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11798] ppid=11788 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11791/task/11798/stat : 11798 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402222779048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11799] ppid=11788 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11791/task/11799/stat : 11799 (java) S 11788 11791 7556 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402221726504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11800] ppid=11788 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11791/task/11800/stat : 11800 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402220673960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11801] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11801/stat : 11801 (java) S 11788 11791 7556 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13581820 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402219621416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11802] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11802/stat : 11802 (java) S 11788 11791 7556 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 13581821 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402089760872 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11803] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11803/stat : 11803 (java) S 11788 11791 7556 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402088707192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11804] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11804/stat : 11804 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 62749 33554432000 1073741824 1073778376 140734249430720 140402087654536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11805] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.99 3.98 4.13 4/191 11864
/proc/meminfo: memFree=26638104/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9824732 CPUtime=1663.07 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 46112 0 1 0 166088 219 0 0 20 0 22 0 13581819 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2456183 988700 2302 9 0 2446860 0
[pid=11791/tid=11792] ppid=11788 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) S 11788 11791 7556 0 -1 4202560 2502 0 1 0 124 5 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402265498488 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11794] ppid=11788 vsize=9824732 CPUtime=5.19 cores=1,3,5,7
/proc/11791/task/11794/stat : 11794 (java) S 11788 11791 7556 0 -1 4202560 860 0 0 0 501 18 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402226989224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11795] ppid=11788 vsize=9824732 CPUtime=5.34 cores=1,3,5,7
/proc/11791/task/11795/stat : 11795 (java) S 11788 11791 7556 0 -1 4202560 655 0 0 0 512 22 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402225936680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11796] ppid=11788 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/11791/task/11796/stat : 11796 (java) S 11788 11791 7556 0 -1 4202560 634 0 0 0 483 18 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402224884136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11797] ppid=11788 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/11791/task/11797/stat : 11797 (java) S 11788 11791 7556 0 -1 4202560 514 0 0 0 473 15 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402223831592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11798] ppid=11788 vsize=9824732 CPUtime=5.47 cores=1,3,5,7
/proc/11791/task/11798/stat : 11798 (java) S 11788 11791 7556 0 -1 4202560 717 0 0 0 526 21 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402222779048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11799] ppid=11788 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/11791/task/11799/stat : 11799 (java) S 11788 11791 7556 0 -1 4202560 802 0 0 0 487 17 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402221726504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11800] ppid=11788 vsize=9824732 CPUtime=5.63 cores=1,3,5,7
/proc/11791/task/11800/stat : 11800 (java) S 11788 11791 7556 0 -1 4202560 599 0 0 0 544 19 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402220673960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11801] ppid=11788 vsize=9824732 CPUtime=5.23 cores=1,3,5,7
/proc/11791/task/11801/stat : 11801 (java) S 11788 11791 7556 0 -1 4202560 622 0 0 0 504 19 0 0 20 0 22 0 13581820 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402219621416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11802] ppid=11788 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/11791/task/11802/stat : 11802 (java) S 11788 11791 7556 0 -1 4202560 2528 0 0 0 492 8 0 0 20 0 22 0 13581821 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402089760872 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11803] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11803/stat : 11803 (java) S 11788 11791 7556 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402088707192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11804] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11804/stat : 11804 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402087654536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11805] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11805/stat : 11805 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402086603280 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11806] ppid=11788 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/11791/task/11806/stat : 11806 (java) S 11788 11791 7556 0 -1 4202560 20241 0 0 0 245 4 0 0 20 0 22 0 13581824 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402085550648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11807] ppid=11788 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/11791/task/11807/stat : 11807 (java) S 11788 11791 7556 0 -1 4202560 12794 0 0 0 218 3 0 0 20 0 22 0 13581824 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402084498104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11808] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11808/stat : 11808 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402083445752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11809] ppid=11788 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/11791/task/11809/stat : 11809 (java) S 11788 11791 7556 0 -1 4202560 47 0 0 0 14 18 0 0 20 0 22 0 13581824 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402082393416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11810] ppid=11788 vsize=9824732 CPUtime=805.11 cores=1,3,5,7
/proc/11791/task/11810/stat : 11810 (java) R 11788 11791 7556 0 -1 4202560 69 0 0 0 80496 15 0 0 20 0 22 0 13581949 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402081286432 140402096226623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11811] ppid=11788 vsize=9824732 CPUtime=805.08 cores=1,3,5,7
/proc/11791/task/11811/stat : 11811 (java) R 11788 11791 7556 0 -1 4202560 1259 0 0 0 80462 46 0 0 20 0 22 0 13581949 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140402080234656 140402095797749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11812] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11812/stat : 11812 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140400937395240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11813] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11813/stat : 11813 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 988700 33554432000 1073741824 1073778376 140734249430720 140400936342696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1663.07
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 2.54 3.66 4.01 3/192 11868
/proc/meminfo: memFree=26586632/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9824732 CPUtime=1784.7 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 46169 0 1 0 178248 222 0 0 20 0 22 0 13581819 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2456183 1001500 2302 9 0 2446860 0
[pid=11791/tid=11792] ppid=11788 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) S 11788 11791 7556 0 -1 4202560 2504 0 1 0 124 5 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402265498488 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11794] ppid=11788 vsize=9824732 CPUtime=5.57 cores=1,3,5,7
/proc/11791/task/11794/stat : 11794 (java) S 11788 11791 7556 0 -1 4202560 864 0 0 0 538 19 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402226989224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11795] ppid=11788 vsize=9824732 CPUtime=5.78 cores=1,3,5,7
/proc/11791/task/11795/stat : 11795 (java) S 11788 11791 7556 0 -1 4202560 663 0 0 0 556 22 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402225936680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11796] ppid=11788 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/11791/task/11796/stat : 11796 (java) S 11788 11791 7556 0 -1 4202560 637 0 0 0 522 18 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402224884136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11797] ppid=11788 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/11791/task/11797/stat : 11797 (java) S 11788 11791 7556 0 -1 4202560 519 0 0 0 511 15 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402223831592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11798] ppid=11788 vsize=9824732 CPUtime=5.85 cores=1,3,5,7
/proc/11791/task/11798/stat : 11798 (java) S 11788 11791 7556 0 -1 4202560 724 0 0 0 564 21 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402222779048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11799] ppid=11788 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/11791/task/11799/stat : 11799 (java) S 11788 11791 7556 0 -1 4202560 807 0 0 0 522 17 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402221726504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11800] ppid=11788 vsize=9824732 CPUtime=6.1 cores=1,3,5,7
/proc/11791/task/11800/stat : 11800 (java) S 11788 11791 7556 0 -1 4202560 602 0 0 0 591 19 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402220673960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11801] ppid=11788 vsize=9824732 CPUtime=5.77 cores=1,3,5,7
/proc/11791/task/11801/stat : 11801 (java) S 11788 11791 7556 0 -1 4202560 628 0 0 0 557 20 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402219621416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11802] ppid=11788 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/11791/task/11802/stat : 11802 (java) S 11788 11791 7556 0 -1 4202560 2533 0 0 0 492 9 0 0 20 0 22 0 13581821 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402089760872 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11803] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11803/stat : 11803 (java) S 11788 11791 7556 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402088707192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11804] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11804/stat : 11804 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402087654536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11805] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11805/stat : 11805 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402086603280 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11806] ppid=11788 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/11791/task/11806/stat : 11806 (java) S 11788 11791 7556 0 -1 4202560 20241 0 0 0 245 4 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402085550648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11807] ppid=11788 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/11791/task/11807/stat : 11807 (java) S 11788 11791 7556 0 -1 4202560 12795 0 0 0 218 3 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402084498104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11808] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11808/stat : 11808 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402083445752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11809] ppid=11788 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/11791/task/11809/stat : 11809 (java) S 11788 11791 7556 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402082393416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11810] ppid=11788 vsize=9824732 CPUtime=864.26 cores=1,3,5,7
/proc/11791/task/11810/stat : 11810 (java) R 11788 11791 7556 0 -1 4202560 71 0 0 0 86410 16 0 0 20 0 22 0 13581949 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402081287344 140402096225953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11811] ppid=11788 vsize=9824732 CPUtime=864.22 cores=1,3,5,7
/proc/11791/task/11811/stat : 11811 (java) R 11788 11791 7556 0 -1 4202560 1261 0 0 0 86375 47 0 0 20 0 22 0 13581949 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402080235864 140402095943284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11812] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11812/stat : 11812 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140400937395240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11813] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11813/stat : 11813 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140400936342696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.7
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+890.008 s]
/proc/loadavg: 2.54 3.62 3.99 3/192 11869
/proc/meminfo: memFree=26586760/32872528 swapFree=1243920/1391088
[pid=11791] ppid=11788 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/11791/stat : 11791 (java) S 11788 11791 7556 0 -1 4202496 46169 0 1 0 179787 222 0 0 20 0 22 0 13581819 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140734249421856 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11791/statm: 2456183 1001500 2302 9 0 2446860 0
[pid=11791/tid=11792] ppid=11788 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/11791/task/11792/stat : 11792 (java) S 11788 11791 7556 0 -1 4202560 2504 0 1 0 124 5 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402265498488 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11794] ppid=11788 vsize=9824732 CPUtime=5.57 cores=1,3,5,7
/proc/11791/task/11794/stat : 11794 (java) S 11788 11791 7556 0 -1 4202560 864 0 0 0 538 19 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402226989224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11795] ppid=11788 vsize=9824732 CPUtime=5.78 cores=1,3,5,7
/proc/11791/task/11795/stat : 11795 (java) S 11788 11791 7556 0 -1 4202560 663 0 0 0 556 22 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402225936680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11796] ppid=11788 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/11791/task/11796/stat : 11796 (java) S 11788 11791 7556 0 -1 4202560 637 0 0 0 522 18 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402224884136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11797] ppid=11788 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/11791/task/11797/stat : 11797 (java) S 11788 11791 7556 0 -1 4202560 519 0 0 0 511 15 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402223831592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11798] ppid=11788 vsize=9824732 CPUtime=5.85 cores=1,3,5,7
/proc/11791/task/11798/stat : 11798 (java) S 11788 11791 7556 0 -1 4202560 724 0 0 0 564 21 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402222779048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11799] ppid=11788 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/11791/task/11799/stat : 11799 (java) S 11788 11791 7556 0 -1 4202560 807 0 0 0 522 17 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402221726504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11800] ppid=11788 vsize=9824732 CPUtime=6.1 cores=1,3,5,7
/proc/11791/task/11800/stat : 11800 (java) S 11788 11791 7556 0 -1 4202560 602 0 0 0 591 19 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402220673960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11801] ppid=11788 vsize=9824732 CPUtime=5.77 cores=1,3,5,7
/proc/11791/task/11801/stat : 11801 (java) S 11788 11791 7556 0 -1 4202560 628 0 0 0 557 20 0 0 20 0 22 0 13581820 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402219621416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11802] ppid=11788 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/11791/task/11802/stat : 11802 (java) S 11788 11791 7556 0 -1 4202560 2533 0 0 0 492 9 0 0 20 0 22 0 13581821 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402089760872 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11803] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11803/stat : 11803 (java) S 11788 11791 7556 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402088707192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11804] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11804/stat : 11804 (java) S 11788 11791 7556 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13581822 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402087654536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11805] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11805/stat : 11805 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402086603280 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11806] ppid=11788 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/11791/task/11806/stat : 11806 (java) S 11788 11791 7556 0 -1 4202560 20241 0 0 0 245 4 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402085550648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11807] ppid=11788 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/11791/task/11807/stat : 11807 (java) S 11788 11791 7556 0 -1 4202560 12795 0 0 0 218 3 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402084498104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11791/tid=11808] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11808/stat : 11808 (java) S 11788 11791 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402083445752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11791/tid=11809] ppid=11788 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/11791/task/11809/stat : 11809 (java) S 11788 11791 7556 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 13581824 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402082393416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11810] ppid=11788 vsize=9824732 CPUtime=871.96 cores=1,3,5,7
/proc/11791/task/11810/stat : 11810 (java) R 11788 11791 7556 0 -1 4202560 71 0 0 0 87180 16 0 0 20 0 22 0 13581949 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402081279632 140402096217315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11811] ppid=11788 vsize=9824732 CPUtime=871.92 cores=1,3,5,7
/proc/11791/task/11811/stat : 11811 (java) R 11788 11791 7556 0 -1 4202560 1261 0 0 0 87145 47 0 0 20 0 22 0 13581949 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140402080235864 140402095744826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11791/tid=11812] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11812/stat : 11812 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140400937395240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11791/tid=11813] ppid=11788 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11791/task/11813/stat : 11813 (java) S 11788 11791 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13581950 10060525568 1001500 33554432000 1073741824 1073778376 140734249430720 140400936342696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 11791 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 890.063
CPU time (s): 1800.75
CPU user time (s): 1798.03
CPU system time (s): 2.72059
CPU usage (%): 202.317
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.72059
maximum resident set size= 4006116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46201
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23658
involuntary context switches= 36958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67114 second user time and 7.62584 second system time
The end