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-4109681-1466343604/watcher-4109681-1466343604 -o /tmp/evaluation-result-4109681-1466343604/solver-4109681-1466343604 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466341814-21070 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109681-1466343604.wbo
pid=21908
running on 4 cores: 0,2,4,6
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: 2.19 2.15 1.83 3/197 21911
/proc/meminfo: memFree=29747256/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/21911/stat : 21911 (java) R 21908 21911 21054 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 36406906 278528 34 33554432000 1073741824 1073778376 140735439405120 140734429195688 252253924647 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 68 34 25 9 0 25 0
[startup+0.100059 s]
/proc/loadavg: 2.19 2.15 1.83 3/197 21911
/proc/meminfo: memFree=29747256/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 4467 0 1 0 7 1 0 0 20 0 18 0 36406906 9787879424 5592 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2389619 5592 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200212 s]
/proc/loadavg: 2.19 2.15 1.83 3/197 21911
/proc/meminfo: memFree=29747256/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 4746 0 1 0 21 1 0 0 20 0 18 0 36406906 9787879424 6329 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2389619 6329 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300218 s]
/proc/loadavg: 2.19 2.15 1.83 3/197 21911
/proc/meminfo: memFree=29747256/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 5672 0 1 0 45 2 0 0 20 0 18 0 36406906 9787879424 8027 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2389619 8027 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.70028 s]
/proc/loadavg: 2.19 2.15 1.83 3/197 21911
/proc/meminfo: memFree=29747256/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 12099 0 1 0 141 5 0 0 20 0 19 0 36406906 10060525568 14029 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 14029 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824732
[startup+1.50082 s]
/proc/loadavg: 2.19 2.15 1.83 2/216 21936
/proc/meminfo: memFree=29691752/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 15201 0 1 0 178 10 0 0 20 0 19 0 36406906 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 17120 2262 9 0 2446860 0
[pid=21911/tid=21913] ppid=21908 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/21911/task/21913/stat : 21913 (java) S 21908 21911 21054 0 -1 4202560 2473 0 1 0 30 2 0 0 20 0 19 0 36406907 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547503190904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21914] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21914/stat : 21914 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406908 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547441920168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21915] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21915/stat : 21915 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406908 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547440867624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21916] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21916/stat : 21916 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547439815080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21917] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21917/stat : 21917 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547438762536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21918] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21918/stat : 21918 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547437709992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21919] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406912 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 4940 0 0 0 52 1 0 0 20 0 19 0 36406912 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6438 0 0 0 57 1 0 0 20 0 19 0 36406913 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406942 10060525568 17120 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824732
[startup+3.10084 s]
/proc/loadavg: 2.19 2.15 1.83 2/216 21942
/proc/meminfo: memFree=29678364/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 16770 0 1 0 234 12 0 0 20 0 19 0 36406906 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 23822 2266 9 0 2446860 0
[pid=21911/tid=21913] ppid=21908 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/21911/task/21913/stat : 21913 (java) S 21908 21911 21054 0 -1 4202560 2475 0 1 0 31 2 0 0 20 0 19 0 36406907 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547503190904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21914] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21914/stat : 21914 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406908 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547441920168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21915] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21915/stat : 21915 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406908 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547440867624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21916] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21916/stat : 21916 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547439815080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21917] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21917/stat : 21917 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547438762536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21918] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21918/stat : 21918 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547437709992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21919] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406912 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 6452 0 0 0 69 1 0 0 20 0 19 0 36406912 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6462 0 0 0 78 1 0 0 20 0 19 0 36406913 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406942 10060525568 23822 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=23 pid=1811 uid=0 cmd=
[startup+6.30083 s]
/proc/loadavg: 2.09 2.13 1.83 3/216 21963
/proc/meminfo: memFree=29615904/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 17845 0 1 0 282 23 0 0 20 0 19 0 36406906 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 40311 2271 9 0 2446860 0
[pid=21911/tid=21913] ppid=21908 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/21911/task/21913/stat : 21913 (java) S 21908 21911 21054 0 -1 4202560 2480 0 1 0 33 2 0 0 20 0 19 0 36406907 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547503190904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21914] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21914/stat : 21914 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406908 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547441920168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21915] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21915/stat : 21915 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406908 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547440867624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21916] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21916/stat : 21916 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547439815080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21917] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21917/stat : 21917 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547438762536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21918] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21918/stat : 21918 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547437709992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21919] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36406909 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406912 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 7432 0 0 0 82 2 0 0 20 0 19 0 36406912 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6463 0 0 0 81 1 0 0 20 0 19 0 36406913 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406942 10060525568 40311 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.05
################
# More data... #
################
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 9 0 0 0 20 0 19 0 36406909 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 19 0 36406909 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 19 0 36406909 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 444 0 0 0 0 5 0 0 20 0 19 0 36406910 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406912 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 8995 0 0 0 110 2 0 0 20 0 19 0 36406912 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6522 0 0 0 109 1 0 0 20 0 19 0 36406913 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406942 10060525568 182659 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 23.19
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21911 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 2.23 2.16 1.84 2/216 22041
/proc/meminfo: memFree=29016128/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=23.31 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 20640 0 1 0 2246 85 0 0 20 0 22 0 36406906 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 182665 2288 9 0 2446860 0
[pid=21911/tid=21913] ppid=21908 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/21911/task/21913/stat : 21913 (java) S 21908 21911 21054 0 -1 4202560 2486 0 1 0 45 2 0 0 20 0 22 0 36406907 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547503190904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21914] ppid=21908 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21911/task/21914/stat : 21914 (java) S 21908 21911 21054 0 -1 4202560 28 0 0 0 7 0 0 0 20 0 22 0 36406908 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547441920168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21915] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21915/stat : 21915 (java) S 21908 21911 21054 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 22 0 36406908 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547440867624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21916] ppid=21908 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21911/task/21916/stat : 21916 (java) S 21908 21911 21054 0 -1 4202560 30 0 0 0 5 1 0 0 20 0 22 0 36406909 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547439815080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21917] ppid=21908 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/21911/task/21917/stat : 21917 (java) S 21908 21911 21054 0 -1 4202560 41 0 0 0 9 2 0 0 20 0 22 0 36406909 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547438762536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21918] ppid=21908 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21911/task/21918/stat : 21918 (java) S 21908 21911 21054 0 -1 4202560 21 0 0 0 7 1 0 0 20 0 22 0 36406909 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547437709992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21919] ppid=21908 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 9 0 0 0 20 0 22 0 36406909 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 22 0 36406909 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 22 0 36406909 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 444 0 0 0 0 5 0 0 20 0 22 0 36406910 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 36406910 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 36406910 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36406912 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 8995 0 0 0 110 2 0 0 20 0 22 0 36406912 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6522 0 0 0 109 1 0 0 20 0 22 0 36406913 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36406913 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36406913 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36406942 10060525568 182665 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 9824732
[startup+26.4008 s]
/proc/loadavg: 2.23 2.16 1.84 2/216 22044
/proc/meminfo: memFree=29016124/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=24.35 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 20643 0 1 0 2348 87 0 0 20 0 19 0 36406906 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 182660 2288 9 0 2446860 0
[pid=21911/tid=21913] ppid=21908 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/21911/task/21913/stat : 21913 (java) S 21908 21911 21054 0 -1 4202560 2486 0 1 0 45 2 0 0 20 0 19 0 36406907 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547503190904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21914] ppid=21908 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21911/task/21914/stat : 21914 (java) S 21908 21911 21054 0 -1 4202560 28 0 0 0 7 0 0 0 20 0 19 0 36406908 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547441920168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21915] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21915/stat : 21915 (java) S 21908 21911 21054 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 36406908 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547440867624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21916] ppid=21908 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21911/task/21916/stat : 21916 (java) S 21908 21911 21054 0 -1 4202560 30 0 0 0 5 1 0 0 20 0 19 0 36406909 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547439815080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21917] ppid=21908 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/21911/task/21917/stat : 21917 (java) S 21908 21911 21054 0 -1 4202560 41 0 0 0 9 2 0 0 20 0 19 0 36406909 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547438762536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21918] ppid=21908 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21911/task/21918/stat : 21918 (java) S 21908 21911 21054 0 -1 4202560 21 0 0 0 7 1 0 0 20 0 19 0 36406909 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547437709992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21919] ppid=21908 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 9 0 0 0 20 0 19 0 36406909 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 19 0 36406909 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 19 0 36406909 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 444 0 0 0 0 5 0 0 20 0 19 0 36406910 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406912 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 8996 0 0 0 111 2 0 0 20 0 19 0 36406912 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6522 0 0 0 110 1 0 0 20 0 19 0 36406913 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406942 10060525568 182660 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 24.35
Current children cumulated vsize (KiB) 9824732
[startup+26.6007 s]
/proc/loadavg: 2.23 2.16 1.84 2/216 22044
/proc/meminfo: memFree=29016124/32872528 swapFree=1200228/1314692
[pid=21911] ppid=21908 vsize=9824732 CPUtime=24.41 cores=0,2,4,6
/proc/21911/stat : 21911 (java) S 21908 21911 21054 0 -1 4202496 20644 0 1 0 2354 87 0 0 20 0 19 0 36406906 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140735439396256 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21911/statm: 2456183 182661 2288 9 0 2446860 0
[pid=21911/tid=21913] ppid=21908 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21911/task/21913/stat : 21913 (java) R 21908 21911 21054 0 -1 4202560 2486 0 1 0 51 2 0 0 20 0 19 0 36406907 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547503190584 140547443148738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21914] ppid=21908 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21911/task/21914/stat : 21914 (java) S 21908 21911 21054 0 -1 4202560 28 0 0 0 7 0 0 0 20 0 19 0 36406908 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547441920168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21915] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21915/stat : 21915 (java) S 21908 21911 21054 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 36406908 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547440867624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21916] ppid=21908 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21911/task/21916/stat : 21916 (java) S 21908 21911 21054 0 -1 4202560 30 0 0 0 5 1 0 0 20 0 19 0 36406909 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547439815080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21917] ppid=21908 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/21911/task/21917/stat : 21917 (java) S 21908 21911 21054 0 -1 4202560 41 0 0 0 9 2 0 0 20 0 19 0 36406909 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547438762536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21918] ppid=21908 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21911/task/21918/stat : 21918 (java) S 21908 21911 21054 0 -1 4202560 21 0 0 0 7 1 0 0 20 0 19 0 36406909 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547437709992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21919] ppid=21908 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21911/task/21919/stat : 21919 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 9 0 0 0 20 0 19 0 36406909 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547341368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21920] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21920/stat : 21920 (java) S 21908 21911 21054 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 19 0 36406909 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547340315560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21921] ppid=21908 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/21911/task/21921/stat : 21921 (java) S 21908 21911 21054 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 19 0 36406909 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547339263016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21922] ppid=21908 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21911/task/21922/stat : 21922 (java) S 21908 21911 21054 0 -1 4202560 444 0 0 0 0 5 0 0 20 0 19 0 36406910 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547327064168 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21923] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21923/stat : 21923 (java) S 21908 21911 21054 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547326010488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21924] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21924/stat : 21924 (java) S 21908 21911 21054 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 36406910 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547324957832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21911/tid=21925] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21925/stat : 21925 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406912 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547323906576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21926] ppid=21908 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/21911/task/21926/stat : 21926 (java) S 21908 21911 21054 0 -1 4202560 8996 0 0 0 111 2 0 0 20 0 19 0 36406912 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547322853944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21911/tid=21927] ppid=21908 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/21911/task/21927/stat : 21927 (java) S 21908 21911 21054 0 -1 4202560 6523 0 0 0 111 1 0 0 20 0 19 0 36406913 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547321801400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21928] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21928/stat : 21928 (java) S 21908 21911 21054 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547320749048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21911/tid=21929] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21929/stat : 21929 (java) S 21908 21911 21054 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36406913 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547319696712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21911/tid=21933] ppid=21908 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21911/task/21933/stat : 21933 (java) S 21908 21911 21054 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36406942 10060525568 182661 33554432000 1073741824 1073778376 140735439405120 140547315483816 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 26.641
CPU time (s): 24.5113
CPU user time (s): 23.5484
CPU system time (s): 0.962853
CPU usage (%): 92.0059
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5484
system time used= 0.962853
maximum resident set size= 730672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20654
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2396
involuntary context switches= 1340
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107983 second user time and 0.136979 second system time
The end